Partial Deduction of the Ground Representation and its Application to Integrity Checking (1995)

View PDF

Download Links

by Michael Leuschel , Bern Martens
Venue:Proceedings of ILPS'95, the International Logic Programming Symposium
Citations:21 - 14 self

Active Bibliography

20 Creating Specialised Integrity Checks Through Partial Evaluation Of Meta-Interpreters – Michael Leuschel, Danny De Schreye - 1994
20 Advanced Logic Program Specialisation – Michael Leuschel
Generating Specialised Update Procedures Through Partial Deduction of the Ground Representation – Michael Leuschel, Bern Martens - 1995
Controlling Generalisation and Polyvariance in Partial Deduction of Normal Logic Programs – Controlling Generalisation, Michael Leuschel, Michael Leuschel, Bern Martens, Bern Martens, Danny De Schreye, Danny De Schreye - 1997
45 Offline specialisation in Prolog using a hand-written compiler generator – Michael Leuschel, Jesper Jørgensen - 2004
18 Efficiently generating efficient generating extensions in Prolog – Jesper Jørgensen , Michael Leuschel
Advanced Analysis and Specialization for Pervasive Systems Integrated Abstract Interpretation and Deliverable number: D4 Online Specialization – unknown authors - 2003
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
1 A Program Specialiser for Meta-level Compositions of Logic Programs – Antonio Brogi, Simone Contiero - 1996