| 2009 | Logic-Based Program Synthesis and Transformation, 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers Michael Hanus |
| 2008 | A Modular Equational Generalization Algorithm. María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda |
| 2008 | A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs. Gustavo Arroyo, J. Guadalupe Ramos, Salvador Tamarit, Germán Vidal |
| 2008 | An Inference Algorithm for Guaranteeing Safe Destruction. Manuel Montenegro, Ricardo Peña-Marí, Clara Segura |
| 2008 | Analysis of Linear Hybrid Systems in CLP. Gourinath Banda, John P. Gallagher |
| 2008 | Analytical Inductive Functional Programming. Emanuel Kitzelmann |
| 2008 | Automatic Generation of Test Inputs for Mercury. François Degrave, Tom Schrijvers, Wim Vanhoof |
| 2008 | Fast Offline Partial Evaluation of Large Logic Programs. Michael Leuschel, Germán Vidal |
| 2008 | From Monomorphic to Polymorphic Well-Typings and Beyond. Tom Schrijvers, Maurice Bruynooghe, John P. Gallagher |
| 2008 | On Negative Unfolding in the Answer Set Semantics. Hirohisa Seki |
| 2008 | Space Invading Systems Code. Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang |
| 2008 | Test Data Generation of Bytecode by CLP Partial Evaluation. Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla |
| 2008 | The MEB and CEB Static Analysis for CSP Specifications. Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |