Logic Based Program Synthesis and Transformation

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

  • Patricia M. Hill
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

Keywords

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

  • DOI https://doi.org/10.1007/11680093
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-32654-0
  • Online ISBN 978-3-540-32656-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book