Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments (1999)

by Danny De Schreye , Robert Glück , Jesper Jørgensen , Michael Leuschel , Bern Martens , Morten Heine Sørensen
Venue:J. LOGIC PROGRAMMING
Citations:41 - 18 self

Documents Related by Co-Citation

239 Partial evaluation in logic programming – J W Lloyd, J C Shepherdson - 1991
55 Infinite state model checking by abstract interpretation and program specialisation – Michael Leuschel, Thierry Massart - 2000
639 Partial Evaluation and Automatic Program Generation. Available online: http://www.itu.dk/people/sestoft/pebook – Neil D Jones, Carsten K Gomard, Peter Sestoft - 1993
57 Controlling generalisation and polyvariance in partial deduction of normal logic programs – M Leuschel, B Martens, D De Schreye - 1998
27 Program specialisation and abstract interpretation reconciled – Michael Leuschel - 1998
145 A System For Specialising Logic Programs – J. P. Gallagher - 1991
18 Logic program specialisation – Michael Leuschel - 1999
50 The ecce partial deduction system and the dppd library of benchmarks. Available via http://www.cs.kuleuven.ac.be/~lpai – M Leuschel
25 Solving Coverability Problems of Petri Nets by Partial Deduction – Michael Leuschel, Helko Lehmann - 2000
36 Most specific logic programs – K Marriott, L Naish, J-L Lassez - 1990
118 Efficient Model Checking Using Tabled Resolution – Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Terrance Swift, David S. Warren - 1997
416 Introduction to Logic Programming – K R Apt - 1990
34 Logic Program Specialisation: How To Be More Specific – Michael Leuschel, Danny De Schreye - 1996
1855 Foundations of Logic Programming – J W Lloyd - 1987
26 Coverability of reset Petri nets and other well-structured transition systems by partial deduction – Michael Leuschel, Helko Lehmann - 2000
570 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
53 Logic program specialisation through partial deduction: Control issues – Michael Leuschel, Maurice Bruynooghe - 2002
61 Homeomorphic Embedding for Online Termination – Michael Leuschel - 1998
63 The derivation of an algorithm for program specialisation – J Gallagher, M Bruynooghe - 1991