13. LOPSTR 2003: Uppsala, Sweden

Maurice Bruynooghe (Ed.): Logic Based Program Synthesis and Transformation, 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers. Lecture Notes in Computer Science 3018 Springer 2004, ISBN 3-540-22174-3 BibTeX

Invited Talk

Helko Lehmann, Michael Leuschel:
Inductive Theorem Proving by Program Specialisation: Generating Proofs for Isabelle Using Ecce. 1-19
Electronic Edition (link) BibTeX

Specification and Synthesis

Francis Alexandre, Khaled Bsaïes, Moussa Demba:
Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures. 20-33
Electronic Edition (link) BibTeX
Kung-Kiu Lau, Mario Ornaghi:
Correct OO Systems in Computational Logic. 34-53
Electronic Edition (link) BibTeX
Thomas Ellman:
Specification and Synthesis of Hybrid Automata for Physics-Based Animation. 54-55
Electronic Edition (link) BibTeX
Bernd Fischer, Eelco Visser:
Adding Concrete Syntax to a Prolog-Based Program Synthesis System (Extended Abstract). 56-58
Electronic Edition (link) BibTeX

Verification

Rudolf Berghammer, Markus Müller-Olm:
Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables. 59-74
Electronic Edition (link) BibTeX
José-Luis Ruiz-Reina, José Antonio Alonso Jimenez, María-José Hidalgo, Francisco-Jesús Martín-Mateos:
Formal Reasoning about Efficient Data Structures: A Case Study in ACL2. 75-91
Electronic Edition (link) BibTeX

Analysis

John P. Gallagher:
A Program Transformation for Backwards Analysis of Logic Programs. 92-105
Electronic Edition (link) BibTeX
Takuma Murakami, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi:
An Efficient Staging Algorithm for Binding-Time Analysis. 106-107
Electronic Edition (link) BibTeX
Alexander Serebrenik, Danny De Schreye:
Proving Termination with Adornments. 108-109
Electronic Edition (link) BibTeX

Transformation and Specialisation

Tjark Weber, James L. Caldwell:
Constructively Characterizing Fold and Unfold. 110-127
Electronic Edition (link) BibTeX
Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi:
Deterministic Higher-Order Patterns for Program Transformation. 128-142
Electronic Edition (link) BibTeX
Dariusz Biernacki, Olivier Danvy:
From Interpreter to Logic Engine by Defunctionalization. 143-159
Electronic Edition (link) BibTeX
Sandra Alves, Mário Florido:
Linearization by Program Transformation. 160-175
Electronic Edition (link) BibTeX
Qian Wang, Gopal Gupta:
Continuation Semantics as Horn Clauses. 176-177
Electronic Edition (link) BibTeX

Constraints

Henning Christiansen, Davide Martinenghi:
Simplification of Database Integrity Constraints Revisited: A Transformational Approach. 178-197
Electronic Edition (link) BibTeX
Slim Abdennadher, Thom W. Frühwirth:
Integration and Optimization of Rule-Based Constraint Solvers. 198-213
Electronic Edition (link) BibTeX
Pierre Flener, Justin Pearson, Magnus Ågren:
Introducing esra, a Relational Language for Modelling Combinatorial Problems. 214-232
Electronic Edition (link) BibTeX