| 2003 | Logic Based Program Synthesis and Tranformation, 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20,2002, Revised Selected Papers Michael Leuschel |
| 2002 | A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene. Francisco Gutiérrez, Blas C. Ruiz |
| 2002 | A Fixed Point Semantics for Logic Programs Extended with Cuts. Wim Vanhoof, Remko Tronçon, Maurice Bruynooghe |
| 2002 | A General Framework for Variable Aliasing: Towards Optimal Operators for Sharing Properties. Gianluca Amato, Francesca Scozzari |
| 2002 | A Generic Program for Minimal Subsets with Applications. Rudolf Berghammer |
| 2002 | A Proof System for Information Flow Security. Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi |
| 2002 | Abstract Diagnosis of Functional Programs. María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas |
| 2002 | Abstract Partial Deduction Challenged. Stefan Gruner |
| 2002 | An Operational Approach to Program Extraction in the Calculus of Constructions. Maribel Fernández, Paula Severi |
| 2002 | Collecting Potential Optimisations. Nancy Mazur, Gerda Janssens, Wim Vanhoof |
| 2002 | Combining Logic Programs and Monadic Second Order Logics by Program Transformation. Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
| 2002 | Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming. Slim Abdennadher, Christophe Rigotti |
| 2002 | Convex Hull Abstractions in Specialization of CLP Programs. Julio C. Peralta, John P. Gallagher |
| 2002 | Forward Slicing of Multi-paradigm Declarative Programs Based on Partial Evaluation. Germán Vidal |
| 2002 | Justification Based on Program Transformation. Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan |
| 2002 | Mapping Modular SOS to Rewriting Logic. Christiano de Oliveira Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses |
| 2002 | Program Synthesis Based on the Equivalent Transformation Computation Model. Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike |
| 2002 | Refinement of Higher-Order Logic Programs. Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper |
| 2002 | Tabling Structures for Bottom-Up Logic Programming. Roger Clayton, John G. Cleary, Bernhard Pfahringer, Mark Utting |
| 2002 | Towards Correct Object-Oriented Design Frameworks in Computational Logic. Kung-Kiu Lau, Mario Ornaghi |
| 2002 | Translating Datalog-Like Optimization Queries into ILOG Programs. Gianluigi Greco, Sergio Greco, Irina Trubitsyna, Ester Zumpano |
| 2002 | Two Variables per Linear Inequality as an Abstract Domain. Axel Simon, Andy King, Jacob M. Howe |
| 2002 | Verification in ACL2 of a Generic Framework to Synthesize SAT-Provers. Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina |