© 2003

Logic Based Program Synthesis and Transformation

12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17–20, 2002. Revised Selected Papers

  • Michael Leuschel
Conference proceedings LOPSTR 2002

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

Table of contents

  1. Front Matter
    Pages I-X
  2. Debugging and Types

    1. María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas
      Pages 1-16
  3. Tabling and Constraints

    1. G. Greco, S. Greco, I. Trubitsyna, E. Zumpano
      Pages 48-49
    2. Roger Clayton, John G. Cleary, Bernhard Pfahringer, Mark Utting
      Pages 50-51
  4. Abstract Interpretation

    1. Axel Simon, Andy King, Jacob M. Howe
      Pages 71-89
    2. Julio C. Peralta, John P. Gallagher
      Pages 90-108
    3. Nancy Mazur, Gerda Janssens, Wim Vanhoof
      Pages 109-110
  5. Program Refinement

    1. Robert Colvin, Ian Hayes, David Hemer, Paul Strooper
      Pages 126-143
  6. Verification

    1. Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan
      Pages 158-159
    2. Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
      Pages 160-181
    3. F. J. Martín-Mateos, J. A. Alonso, M. J. Hidalgo, J. L. Ruiz-Reina
      Pages 182-198
    4. Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
      Pages 199-218
  7. Partial Evaluation

    1. Wim Vanhoof, Remko Tronçon, Maurice Bruynooghe
      Pages 238-257
    2. Stefan Gruner
      Pages 258-259

About these proceedings


 This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Spain in September 2002.

The 15 revised full papers presented together with 7 abstracts were carefully selected during two rounds of reviewing and revision from 40 submissions. The papers are organized in topical sections on debugging and types, tabling and constraints, abstract interpretation, program refinement, verification, partial evaluation, and rewriting and object-oriented development.


Erfüllbarkeitsproblem der Aussagenlogik Resolution Variable computational logic constraint programming formal methods functional programming imperative programming logic logic programming optimization program transformation program verification semantics verification

Editors and affiliations

  • Michael Leuschel
    • 1
  1. 1.Dept. of Electronics and Computer ScienceUniversity of SouthamptonHighfield, SouthamptonUK

Bibliographic information