Partial Evaluation of Computation Process - An Approach to a Compiler-Compiler (1999)

Cached

Download Links

by Yoshihiko Futamura
Venue:Systems, Computers, Controls
Citations:173 - 0 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
168 The Concept of a Supercompiler – Valentin F. Turchin - 1986
116 MIX: a self-applicable partial evaluator for experiments – N D Jones, P Sestoft, H Sndergaard - 1989
241 Partial evaluation in logic programming – J W Lloyd, J C Shepherdson - 1991
237 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
117 Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types – Anders Bondorf, Olivier Danvy - 1990
122 An experiment in partial evaluation: The generation of a compiler generator – Neil D Jones, Peter Sestoft, Harald Søndergaard - 1985
403 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
90 Automatic autoprojection of higher order recursive equations – Anders Bondorf - 1991
527 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
30 Some Low-Level Source Transformations for Logic Programs – John Gallagher, Maurice Bruynooghe - 1990
147 A System For Specialising Logic Programs – J. P. Gallagher - 1991
35 New insights into partial evaluation: the Schism experiment – Charles Consel - 1988
64 Occam's Razor in Metacomputation: the Notion of a Perfect Process Tree – Robert Glück, Andrei V. Klimov - 1993
24 On the essence of compilation – A P Ershov - 1978
207 Type-directed partial evaluation – Olivier Danvy - 1996
44 Partial evaluation of Standard ML – Lars Birkedal, Morten Welinder - 1993
74 An Algorithm of Generalization in Positive Supercompilation – Morten H. Sørensen, Robert Glück - 1995