Occam's Razor in Metacomputation: the Notion of a Perfect Process Tree (1993)

by Robert Glück , Andrei V. Klimov
Citations:64 - 14 self

Documents Related by Co-Citation

168 The Concept of a Supercompiler – Valentin F. Turchin - 1986
403 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
46 Partial Deduction and Driving are Equivalent – Robert Glück, Morten Heine Sørensen - 1994
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
60 Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance – Bern Martens, John Gallagher - 1995
237 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
32 The essence of program transformation by partial evaluation and driving – N D Jones - 2000
241 Partial evaluation in logic programming – J W Lloyd, J C Shepherdson - 1991
173 Partial Evaluation of Computation Process - An Approach to a Compiler-Compiler – Yoshihiko Futamura - 1999
147 A System For Specialising Logic Programs – J. P. Gallagher - 1991
11 Turchin's Supercompiler Revisited: An Operational Theory of Positive Information Propagation – M H Srensen - 1994
13 Application of metasystem transition to function inversion and transformation – R Gluck, V F Turchin - 1990
50 Generalized partial computation – Y Futamura, K Nogi - 1987
48 Global control for partial deduction through characteristic atoms and global trees – Michael Leuschel, Bern Martens - 1995
25 Program Transformation With Metasystem Transitions – V Turchin - 1993
17 Experiments with a supercompiler – Valentin F. Turchin, Robert M. Nirenberg, Dimitri V. Turchin - 1982
35 A Roadmap to Metacomputation by Supercompilation – Robert Glück, Morten Heine Sørensen - 1996
21 Partial Evaluation of Pattern Matching in Constraint Logic Programming Languages – D A Smith - 1991