© 2004

Logic Based Program Synthesis and Transformation

13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers

  • Maurice Bruynooghe
Conference proceedings LOPSTR 2003

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3018)

Table of contents

  1. Front Matter
  2. Invited Talk

  3. Specification and Synthesis

    1. Francis Alexandre, Khaled Bsaïes, Moussa Demba
      Pages 20-33
    2. Kung-Kiu Lau, Mario Ornaghi
      Pages 34-53
  4. Verification

    1. José Luis Ruiz-Reina, José Antonio Alonso-Jiménez, María José Hidalgo, Francisco Jesús Martín-Mateos
      Pages 75-91
  5. Analysis

    1. Takuma Murakami, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi
      Pages 106-107
    2. Alexander Serebrenik, Danny De Schreye
      Pages 108-109
  6. Transformation and Specialisation

    1. Tjark Weber, James Caldwell
      Pages 110-127
    2. Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi
      Pages 128-142
    3. Dariusz Biernacki, Olivier Danvy
      Pages 143-159
    4. Sandra Alves, Mário Florido
      Pages 160-175
    5. Qian Wang, Gopal Gupta
      Pages 176-177
  7. Constraints

    1. Slim Abdennadher, Thom Frühwirth
      Pages 198-213
    2. Pierre Flener, Justin Pearson, Magnus Ågren
      Pages 214-232
  8. Back Matter

About these proceedings


This volume contains selected papers from LOPSTR 2003, the 13th Inter- tional Symposium on Logic-Based Program Synthesis and Transformation. The LOPSTR series is devoted to research in logic-based program development. P- ticular topics of interest are speci?cation, synthesis, veri?cation, transformation, specialization, analysis, optimization, composition, reuse, component-based so- ware development, agent-based software development, software architectures, design patterns and frameworks, program re?nement and logics for re?nement, proofs as programs, and applications and tools. LOPSTR 2003 took place at the University of Uppsala from August 25 to August 27 as part of PLI 2003 (Principles, Logics, and Implementations of High- Level Programming Languages). PLI was an ACM-organized confederation of conferences and workshops with ICFP 2003 (ACM-SIGPLAN International C- ference on Functional Programming) and PPDP 2003 (ACM-SIGPLAN Inter- tional Conference on Principles and Practice of Declarative Programming) as the main events. The LOPSTR community pro?ted from the shared lectures of the invited speakers, and the active scienti?c discussions enabled by the co-location. LOPSTR 2003 was the thirteenth in a series of events. Past events were held in Manchester, UK (1991, 1992, 1998), Louvain-la-Neuve, Belgium (1993), Pisa, Italy (1994), Arnhem, The Netherlands (1995), Stockholm, Sweden (1996), L- ven, Belgium (1997), Venice, Italy (1999), London, UK (2000), Paphos, Cyprus (2001), and Madrid, Spain (2002).


Syntax algorithms automata computational logic data structure functional programming imperative programming logic logic program manipulation logic programming optimization program analysis program syntesis program transformation semantics

Editors and affiliations

  • Maurice Bruynooghe
    • 1
  1. 1.Department of Computer ScienceKatholieke Universiteit LeuvenBelgium

Bibliographic information