| 2005 | Experiments in Context-Sensitive Analysis of Modular Programs. | Jess Correas, Germn Puebla, Manuel V. Hermenegildo, Francisco Bueno |
| 2005 | Declarative Programming with Function Patterns. | Sergio Antoy, Michael Hanus |
| 2005 | An Algorithm for Local Variable Elimination in Normal Logic Programs. | Javier lvez, Paqui Lucio |
| 2005 | Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates. | Elvira Albert, Germn Puebla, John P. Gallagher |
| 2004 | Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis. | J. B. Wells, Boris Yakobowski |
| 2004 | Searching Semantically Equivalent Code Fragments in Logic Programs. | Wim Vanhoof |
| 2004 | On Termination of Binary CLP Programs. | Alexander Serebrenik, Frdric Mesnard |
| 2004 | Negation Elimination for Finite PCFGs. | Taisuke Sato, Yoshitaka Kameya |
| 2004 | Input-Termination of Logic Programs. | M. R. K. Krishna Rao |
| 2004 | Efficient Local Unfolding with Ancestor Stacks for Full Prolog. | Germn Puebla, Elvira Albert, Manuel V. Hermenegildo |
| 2004 | Logical Mobility and Locality Types. | Jonathan Moody |
| 2004 | Determinacy Analysis for Logic Programs Using Mode and Type Information. | Pedro Lpez-Garca, Francisco Bueno, Manuel V. Hermenegildo |
| 2004 | Constructive Specifications for Compositional Units. | Kung-Kiu Lau, Alberto Momigliano, Mario Ornaghi |
| 2004 | Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs. | Sandeep S. Kulkarni, Borzoo Bonakdarpour, Ali Ebnenasir |
| 2004 | Specialization of Concurrent Guarded Multi-set Transformation Rules. | Thom W. Frhwirth |
| 2004 | Natural Rewriting for General Term Rewriting Systems. | Santiago Escobar, Jos Meseguer, Prasanna Thati |
| 2004 | Fully Automatic Binding-Time Analysis for Prolog. | Stephen-John Craig, John P. Gallagher, Michael Leuschel, Kim S. Henriksen |
| 2004 | Schema-Guided Synthesis of Imperative Programs by Constraint Solving. | Michael Coln |
| 2004 | Run-Time Profiling of Functional Logic Programs. | Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germn Vidal |
| 2004 | Unwinding Conditions for Security in Imperative Languages. | Annalisa Bossi, Carla Piazza, Sabina Rossi |
| 2004 | From Natural Semantics to Abstract Machines. | Mads Sig Ager |
| 2003 | Deterministic Higher-Order Patterns for Program Transformation. | Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi |
| 2003 | Constructively Characterizing Fold and Unfold. | Tjark Weber, James L. Caldwell |
| 2003 | Continuation Semantics as Horn Clauses. | Qian Wang, Gopal Gupta |
| 2003 | Proving Termination with Adornments. | Alexander Serebrenik, Danny De Schreye |