Homeomorphic Embedding for Online Termination (1998)

by Michael Leuschel
Venue:STATIC ANALYSIS. PROCEEDINGS OF SAS’98, LNCS 1503
Citations:61 - 8 self

Active Bibliography

54 Logic program specialisation through partial deduction: Control issues – Michael Leuschel, Maurice Bruynooghe - 2002
28 Homeomorphic embedding for online termination of symbolic methods – Michael Leuschel - 2002
12 A Constraint-based Partial Evaluator for Functional Logic Programs and its Application – Laura Lafave - 1998
2 Extending Homeomorphic Embedding in the Context of Logic Programming – Michael Leuschel - 1997
5 Partial Deduction System – Michael Leuschel - 1997
21 Constrained Partial Deduction and the Preservation of Characteristic Trees – Michael Leuschel, Danny De Schreye - 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
60 Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance – Bern Martens, John Gallagher - 1995
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
1 Advanced techniques in finite unfolding – Bernhard Martens, Daniel De Schreye
48 Global control for partial deduction through characteristic atoms and global trees – Michael Leuschel, Bern Martens - 1995
6 Sonic partial deduction – Jonathan Martin, Michael Leuschel - 1998
3 Controlling Conjunctive Partial Deduction – Robert Glück, Jesper Jørgensen, Bern Martens, Morten Heine Sørensen, Morten Heine S��rensen - 1996
3 Constrained partial deduction – Michael Leuschel, Danny De Schreye - 1997
5 Specialization with Clause Splitting for Deriving Deterministic Constraint Logic Programs – Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti - 2002
3 VERIFYING INFINITE STATE SYSTEMS BY SPECIALIZING CONSTRAINT LOGIC PROGRAMS – F. Fioravanti, A. Pettorossi, M. Proietti
16 A Unifying View of Functional and Logic Program Specialization – Maria Alpuente, Moreno Falaschi, German Vidal - 1998
2 Call-by-Name Partial Evaluation of Functional Logic Programs – M. Alpuente, M. Falaschi, P. Julian, G. Vidal - 1996