| 2006 | Logic Based Program Synthesis and Transformation, 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers Patricia M. Hill |
| 2005 | A Transformational Semantics of Static Embedded Implications of Normal Logic Programs. Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro |
| 2005 | An Algorithm for Local Variable Elimination in Normal Logic Programs. Javier Álvez, Paqui Lucio |
| 2005 | Converting One Type-Based Abstract Domain to Another. John P. Gallagher, Germán Puebla, Elvira Albert |
| 2005 | Declarative Programming with Function Patterns. Sergio Antoy, Michael Hanus |
| 2005 | Design and Implementation of A Luke Simon, Ajay Mallya, Gopal Gupta |
| 2005 | Experiments in Context-Sensitive Analysis of Modular Programs. Jesús Correas, Germán Puebla, Manuel V. Hermenegildo, Francisco Bueno |
| 2005 | Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives. Kohei Suenaga, Naoki Kobayashi, Akinori Yonezawa |
| 2005 | Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates. Elvira Albert, Germán Puebla, John P. Gallagher |
| 2005 | Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs. Claudio Ochoa, Germán Puebla, Manuel V. Hermenegildo |
| 2005 | Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM. François Fages |
| 2005 | Transformational Verification of Parameterized Protocols Using Array Formulas. Alberto Pettorossi, Maurizio Proietti, Valerio Senni |