|
230
|
Partial evaluation in logic programming
– J W Lloyd, J C Shepherdson
- 1991
|
|
57
|
Controlling generalisation and polyvariance in partial deduction of normal logic programs
– M Leuschel, B Martens, D De Schreye
- 1998
|
|
593
|
Partial Evaluation and Automatic Program Generation
– N D Jones, C K Gomard, P Sestoft
- 1993
|
|
141
|
A System For Specialising Logic Programs
– J. P. Gallagher
- 1991
|
|
44
|
Infinite state model checking by abstract interpretation and program specialisation
– Michael Leuschel, Thierry Massart
- 2000
|
|
35
|
Most specific logic programs
– K Marriott, L Naish, J-L Lassez
- 1990
|
|
33
|
Logic Program Specialisation: How To Be More Specific
– Michael Leuschel, Danny De Schreye
- 1996
|
|
27
|
Program specialisation and abstract interpretation reconciled
– Michael Leuschel
- 1998
|
|
1739
|
Foundations of Logic Programming
– J W Lloyd
- 1984
|
|
16
|
Logic program specialisation
– Michael Leuschel
- 1999
|
|
110
|
Efficient Model Checking Using Tabled Resolution
– Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Terrance Swift, David S. Warren
- 1997
|
|
134
|
Transformation of logic programs: Foundations and techniques
– A Pettorossi, M Proietti
- 1994
|
|
48
|
The ecce partial deduction system and the dppd library of benchmarks. Available via http://www.cs.kuleuven.ac.be/~lpai
– M Leuschel
|
|
61
|
The derivation of an algorithm for program specialisation
– J Gallagher, M Bruynooghe
- 1991
|
|
25
|
Solving Coverability Problems of Petri Nets by Partial Deduction
– Michael Leuschel, Helko Lehmann
- 2000
|
|
46
|
Logic program specialisation through partial deduction: Control issues
– Michael Leuschel, Maurice Bruynooghe
- 2002
|
|
44
|
Parameterized partial evaluation
– C Consel, S C Khoo
- 1993
|
|
386
|
Introduction to Logic Programming
– K R Apt
- 1990
|
|
21
|
Coverability of reset Petri nets and other well-structured transition systems by partial deduction
– Michael Leuschel, Helko Lehmann
- 2000
|
