Tutorial Notes on Partial Evaluation (1993)

Cached

Download Links

by Charles Consel , Olivier Danvy
Venue:Proceedings of the Twentieth Annual ACM Symposium on Principles of Programming Languages
Citations:235 - 62 self

Documents Related by Co-Citation

641 P.: Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, Sestoft - 1993
116 MIX: a self-applicable partial evaluator for experiments – N D Jones, P Sestoft, H Sndergaard - 1989
168 The Concept of a Supercompiler – Valentin F. Turchin - 1986
91 Opportunities for Online Partial Evaluation – Erik Ruf, Daniel Weise - 1992
185 A General Approach for Run-Time Specialization and its Application to C – Charles Consel - 1996
241 Partial evaluation in logic programming – J W Lloyd, J C Shepherdson - 1991
1858 Foundation of Logic Programming – J W Lloyd - 1987
63 A general criterion for avoiding infinite unfolding during partial deduction – M BRUYNOOGHE, D DE SCHREYE, B MARTENS - 1992
43 An introduction to partial deduction – J Komorowski - 1992
147 A System For Specialising Logic Programs – J. P. Gallagher - 1991
102 An Automatic Partial Evaluator for Full Prolog – Dan Sahlin - 1991
36 Logimix: a self-applicable partial evaluator for prolog – T Mogensen, A Bondorf - 1993
63 The derivation of an algorithm for program specialisation – J Gallagher, M Bruynooghe - 1991
48 Loop Checking in Partial Deduction – R Bol - 1993
139 Transformation of logic programs: foundations and techniques. Journal of Logic Programming – A Pettorossi, M Proietti - 1994
93 A Partial Evaluator for the Untyped Lambda Calculus – Carsten K. Gomard, Neil D. Jones - 1991
17 Towards Creating Specialised Integrity Checks Through Partial Evaluation – Michael Leuschel, Danny De Schreye - 1995
48 Static and Dynamic Semantics Processing – Charles Consel, Olivier Danvy - 1991
95 The Synthesis kernel – Calton Pu, Henry Massalin, John Ioannidis - 1988