Efficient Incremental Run-Time Specialization for Free

@inproceedings{Marlet1999EfficientIR,
  title={Efficient Incremental Run-Time Specialization for Free},
  author={Renaud Marlet and Charles Consel and Philippe Boinot},
  booktitle={PLDI},
  year={1999}
}
Availability of data in a program determines computation stages. Incremental partial evaluation exploit these stages for optimization: it allows further specialization to be performed as data become available at later stages. The fundamental advantage of incremental specialization is to factorize the specialization process. As a result, specializing a program at a given stage costs considerably less than specializing it once all the data are available.We present a realistic and flexible… CONTINUE READING
Highly Cited
This paper has 67 citations. REVIEW CITATIONS

Citations

Publications citing this paper.

67 Citations

0510'99'03'08'13'18
Citations per Year
Semantic Scholar estimates that this publication has 67 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-5 of 5 references

multi-level gen- erating extensions for program specialization

R. Gl uck, E J.Jrgensen.
Proceedings of the 7th International Symposium on Programming Language Implementation and Log- ic Programming, • 1995
View 7 Excerpts
Highly Influenced

E ective spe- cialization of realistic programs via use sensitiv- ity

L. Hornof, J. Noy e, C. Consel
Proceedings of the Fourth International Symposium on Static Analysis, SAS'97, • 1997
View 13 Excerpts
Highly Influenced

A toolkit for constructing type- and constraint-based program analyses

A. Aiken, M. F ahndrich, J. Foster, Z. Su
In Second International Work- shop on Types in Compilation (TIC '98), • 1998
View 4 Excerpts
Highly Influenced

Une approche automatique a la sp ecialisation de composants syst eme

E. N. Volanschi
Th ese de doctorat, Universit e de Rennes I, • 1998
View 2 Excerpts
Highly Influenced

An Automatic Program Generator for Multi-Level Specialization

Lisp and Symbolic Computation • 1997
View 5 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…