| 2004 | Logic Based Program Synthesis and Transformation, 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers Maurice Bruynooghe |
| 2003 | A Program Transformation for Backwards Analysis of Logic Programs. John P. Gallagher |
| 2003 | Adding Concrete Syntax to a Prolog-Based Program Synthesis System (Extended Abstract). Bernd Fischer, Eelco Visser |
| 2003 | An Efficient Staging Algorithm for Binding-Time Analysis. Takuma Murakami, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi |
| 2003 | Constructively Characterizing Fold and Unfold. Tjark Weber, James L. Caldwell |
| 2003 | Continuation Semantics as Horn Clauses. Qian Wang, Gopal Gupta |
| 2003 | Correct OO Systems in Computational Logic. Kung-Kiu Lau, Mario Ornaghi |
| 2003 | Deterministic Higher-Order Patterns for Program Transformation. Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi |
| 2003 | Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables. Rudolf Berghammer, Markus Müller-Olm |
| 2003 | Formal Reasoning about Efficient Data Structures: A Case Study in ACL2. José-Luis Ruiz-Reina, José Antonio Alonso Jimenez, María-José Hidalgo, Francisco-Jesús Martín-Mateos |
| 2003 | From Interpreter to Logic Engine by Defunctionalization. Dariusz Biernacki, Olivier Danvy |
| 2003 | Inductive Theorem Proving by Program Specialisation: Generating Proofs for Isabelle Using Ecce. Helko Lehmann, Michael Leuschel |
| 2003 | Integration and Optimization of Rule-Based Constraint Solvers. Slim Abdennadher, Thom W. Frühwirth |
| 2003 | Introducing esra, a Relational Language for Modelling Combinatorial Problems. Pierre Flener, Justin Pearson, Magnus Ågren |
| 2003 | Linearization by Program Transformation. Sandra Alves, Mário Florido |
| 2003 | Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures. Francis Alexandre, Khaled Bsaïes, Moussa Demba |
| 2003 | Proving Termination with Adornments. Alexander Serebrenik, Danny De Schreye |
| 2003 | Simplification of Database Integrity Constraints Revisited: A Transformational Approach. Henning Christiansen, Davide Martinenghi |
| 2003 | Specification and Synthesis of Hybrid Automata for Physics-Based Animation. Thomas Ellman |