© 2006

Logic Based Program Synthesis and Transformation

15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

  • Patricia M. Hill
Conference proceedings LOPSTR 2005

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

Table of contents

  1. Front Matter
  2. Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM

  3. Tools for Program Development

    1. Sergio Antoy, Michael Hanus
      Pages 6-22
    2. Alberto Pettorossi, Maurizio Proietti, Valerio Senni
      Pages 23-43
  4. Program Transformations

  5. Software Development and Program Analysis

    1. Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro
      Pages 133-146
    2. John P. Gallagher, Germán Puebla, Elvira Albert
      Pages 147-162
    3. Jesús Correas, Germán Puebla, Manuel V. Hermenegildo, Francisco Bueno
      Pages 163-178
  6. Back Matter

About these proceedings


Extension Prolog Variable algorithms computational logic constraint programming formal methods functional programming logic logic program manipulation logic programming modular programming program synthesis program verification verification

Editors and affiliations

  • Patricia M. Hill
    • 1
  1. 1.School of ComputingUniversity of LeedsUK

Bibliographic information