A Roadmap to Metacomputation by Supercompilation (1996)

Cached

Download Links

by Robert Glück , Morten Heine Sørensen
Citations:33 - 4 self

Active Bibliography

12 A Constraint-based Partial Evaluator for Functional Logic Programs and its Application – Laura Lafave - 1998
2 Specialization of Functional Logic Programs – María Alpuente, Moreno Falaschi, Germán Vidal
3 Controlling Conjunctive Partial Deduction – Robert Glück, Jesper Jørgensen, Bern Martens, Morten Heine Sørensen, Morten Heine S��rensen - 1996
41 Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments – Danny De Schreye, Robert Glück, Jesper Jørgensen, Michael Leuschel, Bern Martens, Morten Heine Sørensen - 1999
53 Logic program specialisation through partial deduction: Control issues – Michael Leuschel, Maurice Bruynooghe - 2002
42 Offline specialisation in Prolog using a hand-written compiler generator – Michael Leuschel, Jesper Jørgensen - 2004
5 Partial Deduction System – Michael Leuschel - 1997
32 Controlling Conjunctive Partial Deduction of Definite Logic Programs – Robert Glück, Jesper Jørgensen, Bern Martens, Morten H. Sørensen - 1996
31 A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages – Elvira Albert, Michael Hanus - 2002
17 Improving Control in Functional Logic Program Specialization – E. Albert, M. Alpuente, M. Falaschi, P. Julián, G. Vidal - 1998
16 Efficiently generating efficient generating extensions in Prolog – Jesper Jørgensen , Michael Leuschel
33 The Narrowing-Driven Approach to Functional Logic Program Specialization – Elvira Albert, German Vidal - 2002
61 Homeomorphic Embedding for Online Termination – Michael Leuschel - 1998
35 Specialization of Lazy Functional Logic Programs – Maria Alpuente, Moreno Falaschi, Pascual Julián, German Vidal - 1997
27 Conjunctive Partial Deduction in Practice – Jesper Jørgensen, Michael Leuschel, Bern Martens - 1996
14 A Unifying View of Functional and Logic Program Specialization – Maria Alpuente, Moreno Falaschi, German Vidal - 1998
78 On perfect supercompilation – Jens Peter Secher, Morten Heine Sørensen - 1996
2 Extending Homeomorphic Embedding in the Context of Logic Programming – Michael Leuschel - 1997
28 Homeomorphic embedding for online termination of symbolic methods – Michael Leuschel - 2002