Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance (1995)

Cached

Download Links

by Bern Martens , John Gallagher
Citations:60 - 14 self

Active Bibliography

48 Global control for partial deduction through characteristic atoms and global trees – Michael Leuschel, Bern Martens - 1995
54 Logic program specialisation through partial deduction: Control issues – Michael Leuschel, Maurice Bruynooghe - 2002
42 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
41 Offline specialisation in Prolog using a hand-written compiler generator – Michael Leuschel, Jesper Jørgensen - 2004
18 Creating Specialised Integrity Checks Through Partial Evaluation Of Meta-Interpreters – Michael Leuschel, Danny De Schreye - 1994
21 Constrained Partial Deduction and the Preservation of Characteristic Trees – Michael Leuschel, Danny De Schreye - 1997
27 Conjunctive Partial Deduction in Practice – Jesper Jørgensen, Michael Leuschel, Bern Martens - 1996
16 Efficiently generating efficient generating extensions in Prolog – Jesper Jørgensen , Michael Leuschel
28 Homeomorphic embedding for online termination of symbolic methods – Michael Leuschel - 2002
5 Partial Deduction System – Michael Leuschel - 1997
2 Specialization of Functional Logic Programs – María Alpuente, Moreno Falaschi, Germán Vidal
1 Advanced techniques in finite unfolding – Bernhard Martens, Daniel De Schreye
2 Extending Homeomorphic Embedding in the Context of Logic Programming – Michael Leuschel - 1997
61 Homeomorphic Embedding for Online Termination – Michael Leuschel - 1998
1 A Program Specialiser for Meta-level Compositions of Logic Programs – Antonio Brogi, Simone Contiero - 1996
8 Analysis and Transformation of Proof Procedures – David André de Waal - 1994
A. Pettorossi, M. Proietti TRANSFORMATION OF LOGIC PROGRAMS: FOUNDATIONS AND TECHNIQUES – R. Novembre
3 Constrained partial deduction – Michael Leuschel, Danny De Schreye - 1997
3 Controlling Conjunctive Partial Deduction – Robert Glück, Jesper Jørgensen, Bern Martens, Morten Heine Sørensen, Morten Heine S��rensen - 1996