A Roadmap to Metacomputation by Supercompilation (1996)

Cached

Download Links

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

Documents Related by Co-Citation

403 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
168 The Concept of a Supercompiler – Valentin F. Turchin - 1986
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
147 A System For Specialising Logic Programs – J. P. Gallagher - 1991
574 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
241 Partial evaluation in logic programming – J W Lloyd, J C Shepherdson - 1991
755 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
237 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
82 Narrowing-driven Partial Evaluation of Functional Logic Programs – Maria Alpuente, Moreno Falaschi, German Vidal - 1996
60 Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance – Bern Martens, John Gallagher - 1995
31 de Waal. A conceptual embedding of folding into partial deduction: Towards a maximal integration – M Leuschel, D De Schreye, A - 1996
64 Occam's Razor in Metacomputation: the Notion of a Perfect Process Tree – Robert Glück, Andrei V. Klimov - 1993
336 The Integration of Functions into Logic Programming: From Theory to Practice – Michael Hanus - 1994
139 Transformation of logic programs: foundations and techniques. Journal of Logic Programming – A Pettorossi, M Proietti - 1994
48 Global control for partial deduction through characteristic atoms and global trees – Michael Leuschel, Bern Martens - 1995
37 Specialization of Lazy Functional Logic Programs – Maria Alpuente, Moreno Falaschi, Pascual Julián, German Vidal - 1997
160 Logic Programming with Functions and Predicates: The Language BABEL – J Moreno-Navarro, M Rodríguez-Artalejo - 1992
73 Towards an automated tupling strategy – Wei-Ngan Chin - 1993