The Concept of a Supercompiler (1986)

Cached

Download Links

by Valentin F. Turchin
Venue:ACM Transactions on Programming Languages and Systems
Citations:168 - 3 self

Documents Related by Co-Citation

641 P.: Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, Sestoft - 1993
574 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
147 A System For Specialising Logic Programs – J. P. Gallagher - 1991
60 Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance – Bern Martens, John Gallagher - 1995
241 Partial evaluation in logic programming – J W Lloyd, J C Shepherdson - 1991
403 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
48 Loop Checking in Partial Deduction – R Bol - 1993
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
102 An Automatic Partial Evaluator for Full Prolog – Dan Sahlin - 1991
237 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
116 MIX: a self-applicable partial evaluator for experiments – N D Jones, P Sestoft, H Sndergaard - 1989
755 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
46 Partial Deduction and Driving are Equivalent – Robert Glück, Morten Heine Sørensen - 1994
173 Partial Evaluation of Computation Process - An Approach to a Compiler-Compiler – Yoshihiko Futamura - 1999
43 The algorithm of generalization in the supercompiler – V F Turchin - 1988
26 Sound and Complete Partial Deduction with Unfolding Based on Well-Founded Measures – B Martens, D De Schreye, M Bruynooghe - 1992
74 An Algorithm of Generalization in Positive Supercompilation – Morten H. Sørensen, Robert Glück - 1995
1858 Foundation of Logic Programming – J W Lloyd - 1987