| 2005 | Logic Based Program Synthesis and Transformation, 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers Sandro Etalle |
| 2004 | Constructive Specifications for Compositional Units. Kung-Kiu Lau, Alberto Momigliano, Mario Ornaghi |
| 2004 | Determinacy Analysis for Logic Programs Using Mode and Type Information. Pedro López-García, Francisco Bueno, Manuel V. Hermenegildo |
| 2004 | Efficient Local Unfolding with Ancestor Stacks for Full Prolog. Germán Puebla, Elvira Albert, Manuel V. Hermenegildo |
| 2004 | From Natural Semantics to Abstract Machines. Mads Sig Ager |
| 2004 | Fully Automatic Binding-Time Analysis for Prolog. Stephen-John Craig, John P. Gallagher, Michael Leuschel, Kim S. Henriksen |
| 2004 | Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis. J. B. Wells, Boris Yakobowski |
| 2004 | Input-Termination of Logic Programs. M. R. K. Krishna Rao |
| 2004 | Logical Mobility and Locality Types. Jonathan Moody |
| 2004 | Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs. Sandeep S. Kulkarni, Borzoo Bonakdarpour, Ali Ebnenasir |
| 2004 | Natural Rewriting for General Term Rewriting Systems. Santiago Escobar, José Meseguer, Prasanna Thati |
| 2004 | Negation Elimination for Finite PCFGs. Taisuke Sato, Yoshitaka Kameya |
| 2004 | On Termination of Binary CLP Programs. Alexander Serebrenik, Frédéric Mesnard |
| 2004 | Run-Time Profiling of Functional Logic Programs. Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal |
| 2004 | Schema-Guided Synthesis of Imperative Programs by Constraint Solving. Michael Colón |
| 2004 | Searching Semantically Equivalent Code Fragments in Logic Programs. Wim Vanhoof |
| 2004 | Specialization of Concurrent Guarded Multi-set Transformation Rules. Thom W. Frühwirth |
| 2004 | Unwinding Conditions for Security in Imperative Languages. Annalisa Bossi, Carla Piazza, Sabina Rossi |