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

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

Active Bibliography

35 A Roadmap to Metacomputation by Supercompilation – Robert Glück, Morten Heine Sørensen - 1996
On the Place of Supercompilation inside Program Specialization – Andrei P. Nemytykh
79 On perfect supercompilation – Jens Peter Secher, Morten Heine Sørensen - 1996
Formal Aspects of Polyvariant Specialization – Henning Korsholm Rohde - 2005
237 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
59 For a Better Support of Static Data Flow – Charles Consel, Olivier Danvy
134 An Introduction to Partial Evaluation – Neil D. Jones - 1996
1 Partial Evaluation and the Generation of Program Generators – Neil D. Jones - 1993
On Generalization of Lists and Strings in – Valentin F Turchin
1 Measuring Propagation of Information in Partial Evaluation – Henning Korsholm Rohde - 2005
1 Partial Evaluation: Principles and Perspectives – Charles Consel, Olivier Danvy - 1993
91 Opportunities for Online Partial Evaluation – Erik Ruf, Daniel Weise - 1992
1 Computing Types During Partial Evaluation – Daniel Weise, Erik Ruf - 1990
9 Preserving Information during Online Partial Evaluation – Erik Ruf, Daniel Weise - 1992
91 Efficient Type Inference for Higher-Order Binding-Time Analysis – Fritz Henglein - 1991
23 Partial Evaluation – Torben Æ. Mogensen, Peter Sestoft - 1996
2 Specialization of Functional Logic Programs – María Alpuente, Moreno Falaschi, Germán Vidal
22 Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC – Morten Heine Sørensen, Robert Glück, Neil D. Jones - 1994
12 A Constraint-based Partial Evaluator for Functional Logic Programs and its Application – Laura Lafave - 1998