Offline specialisation in Prolog using a hand-written compiler generator (2004)

by Michael Leuschel , Jesper Jørgensen
Citations:41 - 21 self

Active Bibliography

54 Logic program specialisation through partial deduction: Control issues – Michael Leuschel, Maurice Bruynooghe - 2002
12 A Constraint-based Partial Evaluator for Functional Logic Programs and its Application – Laura Lafave - 1998
16 Efficiently generating efficient generating extensions in Prolog – Jesper Jørgensen , Michael Leuschel
5 Partial Deduction System – Michael Leuschel - 1997
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
28 Homeomorphic embedding for online termination of symbolic methods – Michael Leuschel - 2002
48 Global control for partial deduction through characteristic atoms and global trees – Michael Leuschel, Bern Martens - 1995
18 Creating Specialised Integrity Checks Through Partial Evaluation Of Meta-Interpreters – Michael Leuschel, Danny De Schreye - 1994
60 Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance – Bern Martens, John Gallagher - 1995
7 Specialising interpreters using offline partial deduction – Michael Leuschel, Stephen J. Craig, Maurice Bruynooghe, Wim Vanhoof - 2004
15 A Polyvariant Binding-Time Analysis for Off-line Partial Deduction – Maurice Bruynooghe, Michael Leuschel, Konstantinos Sagonas - 1998
ET EVALUATION PARTIELLE EN PROLOG presente par – Francois-nicola Demers, Francois-nicola Demers, Rachida Dssouli, Jacques Malenfant, Michel Boyer
27 Conjunctive Partial Deduction in Practice – Jesper Jørgensen, Michael Leuschel, Bern Martens - 1996
2 Specialization of Functional Logic Programs – María Alpuente, Moreno Falaschi, Germán Vidal
21 Constrained Partial Deduction and the Preservation of Characteristic Trees – Michael Leuschel, Danny De Schreye - 1997
19 Partial Deduction of the Ground Representation and its Application to Integrity Checking – Michael Leuschel, Bern Martens - 1995
1 A Program Specialiser for Meta-level Compositions of Logic Programs – Antonio Brogi, Simone Contiero - 1996
61 Homeomorphic Embedding for Online Termination – Michael Leuschel - 1998
8 Analysis and Transformation of Proof Procedures – David André de Waal - 1994