| 2008 | Logic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers Andy King |
| 2007 | A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs. Mario Méndez-Lojo, Jorge A. Navas, Manuel V. Hermenegildo |
| 2007 | A Scalable Inclusion Constraint Solver Using Unification. Ye Zhang, Flemming Nielson |
| 2007 | Action Refinement in Process Algebra and Security Issues. Annalisa Bossi, Carla Piazza, Sabina Rossi |
| 2007 | Aggregates for CHR through Program Transformation. Peter Van Weert, Jon Sneyers, Bart Demoen |
| 2007 | Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
| 2007 | Denotation by Transformation. Bernd Braßel, Jan Christiansen |
| 2007 | Generation of Rule-Based Constraint Solvers: Combined Approach. Slim Abdennadher, Ingi Sobhi |
| 2007 | Preserving Sharing in the Partial Evaluation of Lazy Functional Programs. Sebastian Fischer, Josep Silva, Salvador Tamarit, Germán Vidal |
| 2007 | Proving Termination with (Boolean) Satisfaction. Michael Codish |
| 2007 | Snapshot Generation in a Constructive Object-Oriented Modeling Language. Mauro Ferrari, Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi |
| 2007 | Synthesis of Data Views for Communicating Processes. Iman Poernomo |
| 2007 | Termination Analysis of Logic Programs Based on Dependency Graphs. Manh Thang Nguyen, Jürgen Giesl, Peter Schneider-Kamp, Danny De Schreye |
| 2007 | Towards a Normal Form for Mercury Programs. François Degrave, Wim Vanhoof |
| 2007 | Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation. Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla |