Conjunctive Partial Deduction in Practice (1996)

by Jesper Jørgensen , Michael Leuschel , Bern Martens
Venue:Proceedings of the International Workshop on Logic Program Synthesis and Transformation (LOPSTR'96), LNCS 1207
Citations:27 - 19 self

Active Bibliography

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
41 Offline specialisation in Prolog using a hand-written compiler generator – Michael Leuschel, Jesper Jørgensen - 2004
5 Partial Deduction System – Michael Leuschel - 1997
53 Logic program specialisation through partial deduction: Control issues – Michael Leuschel, Maurice Bruynooghe - 2002
3 Controlling Conjunctive Partial Deduction – Robert Glück, Jesper Jørgensen, Bern Martens, Morten Heine Sørensen, Morten Heine S��rensen - 1996
32 Controlling Conjunctive Partial Deduction of Definite Logic Programs – Robert Glück, Jesper Jørgensen, Bern Martens, Morten H. Sørensen - 1996
21 Constrained Partial Deduction and the Preservation of Characteristic Trees – Michael Leuschel, Danny De Schreye - 1997
2 Specialization of Functional Logic Programs – María Alpuente, Moreno Falaschi, Germán Vidal
2 Extending Homeomorphic Embedding in the Context of Logic Programming – Michael Leuschel - 1997
48 Global control for partial deduction through characteristic atoms and global trees – Michael Leuschel, Bern Martens - 1995
16 Efficiently generating efficient generating extensions in Prolog – Jesper Jørgensen , Michael Leuschel
61 Homeomorphic Embedding for Online Termination – Michael Leuschel - 1998
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
18 Creating Specialised Integrity Checks Through Partial Evaluation Of Meta-Interpreters – Michael Leuschel, Danny De Schreye - 1994
25 A conceptual embedding of folding into partial deduction: Towards a maximal integration – Michael Leuschel, Danny De Schreye, André De Waal - 1996
60 Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance – Bern Martens, John Gallagher - 1995
18 Logic program specialisation – Michael Leuschel - 1999
6 Sonic partial deduction – Jonathan Martin, Michael Leuschel - 1998