Program specialisation and abstract interpretation reconciled (1998)

Cached

Download Links

by Michael Leuschel
Venue:In Joint International Conference and Symposium on Logic Programming
Citations:27 - 13 self

Active Bibliography

18 Logic program specialisation – Michael Leuschel - 1999
41 Offline specialisation in Prolog using a hand-written compiler generator – Michael Leuschel, Jesper Jørgensen - 2004
3 Constrained partial deduction – Michael Leuschel, Danny De Schreye - 1997
5 Partial Deduction System – Michael Leuschel - 1997
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
8 Abstract conjunctive partial deduction using regular types and its application to model checking – Michael Leuschel, Stefan Gruner - 2001
12 Towards Integrating Partial Evaluation in a Specialization Framework based on Generic Abstract Interpretation (Extended Abstract) – G. Puebla, John Gallagher, Manuel Hermenegildo - 1997
42 Redundant Argument Filtering of Logic Programs – Michael Leuschel, Morten Heine Sørensen - 1996
21 Constrained Partial Deduction and the Preservation of Characteristic Trees – Michael Leuschel, Danny De Schreye - 1997
2 Extending Homeomorphic Embedding in the Context of Logic Programming – Michael Leuschel - 1997
18 Creating Specialised Integrity Checks Through Partial Evaluation Of Meta-Interpreters – Michael Leuschel, Danny De Schreye - 1994
6 Sonic partial deduction – Jonathan Martin, Michael Leuschel - 1998
5 Partial Deduction using Regular Types and its Application to Model Checking (Extended Abstract) – Michael Leuschel, Stefan Gruner - 2001
61 Homeomorphic Embedding for Online Termination – Michael Leuschel - 1998
6 Forward Slicing by Conjunctive Partial Deduction and Argument Filtering – Michael Leuschel, Germán Vidal - 2005
7 Bottom Up Information Propagation for Partial Deduction (Extended Abstract) – Wim Vanhoof - 1997
12 A Constraint-based Partial Evaluator for Functional Logic Programs and its Application – Laura Lafave - 1998
27 Conjunctive Partial Deduction in Practice – Jesper Jørgensen, Michael Leuschel, Bern Martens - 1996