|
705
|
Constraint Logic Programming: A Survey
– Joxan Jaffar, Michael J. Maher
|
|
1739
|
Foundations of Logic Programming
– J W Lloyd
- 1984
|
|
593
|
Partial Evaluation and Automatic Program Generation
– N D Jones, C K Gomard, P Sestoft
- 1993
|
|
386
|
Introduction to Logic Programming
– K R Apt
- 1990
|
|
25
|
Solving Coverability Problems of Petri Nets by Partial Deduction
– Michael Leuschel, Helko Lehmann
- 2000
|
|
533
|
A Transformation System for Developing Recursive Programs
– R. M. Burstall, John Darlington
- 1977
|
|
141
|
A System For Specialising Logic Programs
– J. P. Gallagher
- 1991
|
|
17
|
Constraint Logic Programming for Local and Symbolic Model-checking
– Ulf Nilsson, Johan Lübcke
- 2000
|
|
191
|
A New Solution of Dijkstra's Concurrent Programming Problem
– Leslie Lamport
- 1974
|
|
216
|
Logic Programming and Negation: A Survey
– Krzysztof R. Apt, Roland Bol
- 1994
|
|
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
|
|
2028
|
Compositional Model Checking
– E. M. Clarke, D. E. Long, K. L. Mcmillan
- 1999
|
|
22
|
Transforming constraint logic programs
– X BENSAOU, I GUESSARIAN
- 1998
|
|
25
|
Transformations of CLP Modules
– Sandro Etalle, Maurizio Gabbrielli
- 1995
|
|
201
|
Unfold/Fold Transformation of Logic Programs
– Hisao Tamaki, Taisuke Sato
- 1984
|
|
230
|
Partial evaluation in logic programming
– J W Lloyd, J C Shepherdson
- 1991
|
|
155
|
The Concept of a Supercompiler
– Valentin F. Turchin
- 1986
|
|
44
|
Infinite state model checking by abstract interpretation and program specialisation
– Michael Leuschel, Thierry Massart
- 2000
|
|
4
|
OFAI clp(q,r) manual, Edition 1.3.2
– C Holzbaur
- 1995
|
