| 2000 | Logic Programming Synthesis and Transformation, 9th International Workshop, LOPSTR'99, Venezia, Italy, September 22-24, 1999, Selected Papers Annalisa Bossi |
| 1999 | Algebraic Specification and Program Development by Stepwise Refinement. Donald Sannella |
| 1999 | Annotations for Prolog - A Concept and Runtime Handling. Marija Kulas |
| 1999 | Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs. Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo |
| 1999 | Constraint Logic Programming Applied to Model Checking. Laurent Fribourg |
| 1999 | Context-Moving Transformations for Function Verification. Jürgen Giesl |
| 1999 | Imperative Program Specialisation: An Approach Using CLP. Julio C. Peralta, John P. Gallagher |
| 1999 | Infinite State Model Checking by Abstract Interpretation and Program Specialisation. Michael Leuschel, Thierry Massart |
| 1999 | Making Mercury Programs Tail Recursive. Peter Ross, David Overton, Zoltan Somogyi |
| 1999 | Mode Analysis Domains for Typed Logic Programs. Jan-Georg Smaus, Patricia M. Hill, Andy King |
| 1999 | On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic. Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Hirokazu Yatsu |
| 1999 | Proof Obligations of the B Formal Method: Local Proofs Ensure Global Consistency. Mireille Ducassé, Laurence Rozé |
| 1999 | Roles of Program Extension. Ralf Lämmel, Günter Riedewald, Wolfgang Lohmann |
| 1999 | Specialising Fininte Domain Programs Using Polyhedra. Jacob M. Howe, Andy King |
| 1999 | The Replacement Operation for CCP Programs. Marco Bertolino, Sandro Etalle, Catuscia Palamidessi |
| 1999 | Transformation Rules for Logic Programs with Goals as Arguments. Alberto Pettorossi, Maurizio Proietti |
| 1999 | Transformation of Left Terminating Programs. Annalisa Bossi, Nicoletta Cocco, Sandro Etalle |
| 1999 | Verification by Testing for Recursive Program Schemes. Daniel Le Métayer, Valérie-Anne Nicolas, Olivier Ridoux |