| 2003 | Formal Reasoning about Efficient Data Structures: A Case Study in ACL2. | Jos-Luis Ruiz-Reina, Jos Antonio Alonso Jimenez, Mara-Jos Hidalgo, Francisco-Jess Martn-Mateos |
| 2003 | An Efficient Staging Algorithm for Binding-Time Analysis. | Takuma Murakami, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi |
| 2003 | Inductive Theorem Proving by Program Specialisation: Generating Proofs for Isabelle Using Ecce. | Helko Lehmann, Michael Leuschel |
| 2003 | Correct OO Systems in Computational Logic. | Kung-Kiu Lau, Mario Ornaghi |
| 2003 | A Program Transformation for Backwards Analysis of Logic Programs. | John P. Gallagher |
| 2003 | Introducing esra, a Relational Language for Modelling Combinatorial Problems. | Pierre Flener, Justin Pearson, Magnus gren |
| 2003 | Adding Concrete Syntax to a Prolog-Based Program Synthesis System (Extended Abstract). | Bernd Fischer, Eelco Visser |
| 2003 | Specification and Synthesis of Hybrid Automata for Physics-Based Animation. | Thomas Ellman |
| 2003 | Simplification of Database Integrity Constraints Revisited: A Transformational Approach. | Henning Christiansen, Davide Martinenghi |
| 2003 | From Interpreter to Logic Engine by Defunctionalization. | Dariusz Biernacki, Olivier Danvy |
| 2003 | Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables. | Rudolf Berghammer, Markus Mller-Olm |
| 2003 | Linearization by Program Transformation. | Sandra Alves, Mrio Florido |
| 2003 | Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures. | Francis Alexandre, Khaled Bsaes, Moussa Demba |
| 2003 | Integration and Optimization of Rule-Based Constraint Solvers. | Slim Abdennadher, Thom W. Frhwirth |
| 2002 | Forward Slicing of Multi-paradigm Declarative Programs Based on Partial Evaluation. | Germn Vidal |
| 2002 | A Fixed Point Semantics for Logic Programs Extended with Cuts. | Wim Vanhoof, Remko Tronon, Maurice Bruynooghe |
| 2002 | Two Variables per Linear Inequality as an Abstract Domain. | Axel Simon, Andy King, Jacob M. Howe |
| 2002 | Convex Hull Abstractions in Specialization of CLP Programs. | Julio C. Peralta, John P. Gallagher |
| 2002 | Collecting Potential Optimisations. | Nancy Mazur, Gerda Janssens, Wim Vanhoof |
| 2002 | Verification in ACL2 of a Generic Framework to Synthesize SAT-Provers. | Francisco-Jess Martn-Mateos, Jos-Antonio Alonso, Mara-Jos Hidalgo, Jos-Luis Ruiz-Reina |
| 2002 | Towards Correct Object-Oriented Design Frameworks in Computational Logic. | Kung-Kiu Lau, Mario Ornaghi |
| 2002 | A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene. | Francisco Gutirrez, Blas C. Ruiz |
| 2002 | Justification Based on Program Transformation. | Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan |
| 2002 | Abstract Partial Deduction Challenged. | Stefan Gruner |
| 2002 | Translating Datalog-Like Optimization Queries into ILOG Programs. | Gianluigi Greco, Sergio Greco, Irina Trubitsyna, Ester Zumpano |