Logic Based Program Synthesis and Transformation

10th International Workshop, LOPSTR 2000 London, UK, July 24–28, 2000 Selected Papers

  • Kung-Kiu Lau
Conference proceedings LOPSTR 2000

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

Table of contents

  1. Front Matter
    Pages I-VIII
  2. Synthesis

    1. Alessandro Avellone, Mauro Ferrari, Camillo Fiorentini
      Pages 1-17
  3. Protocols between Programs and Proofs

    1. Iman Poernomo, John N. Crossley
      Pages 18-37
  4. A Technique for Modular Logic Program Refinement

    1. Robert Colvin, Ian Hayes, Paul Strooper
      Pages 38-56
  5. Transformation

    1. Silvija Seres, Michael Spivey
      Pages 57-68
  6. Analysis

  7. Specialisation

    1. Francisco Bueno, Manuel Hermenegildo, Germán Puebla, María García de la Banda, Kim Marriott, Peter J. Stuckey
      Pages 86-102
    2. Elvira Albert, Germán Vidal, Sergio Antoy
      Pages 103-124
    3. Fabio Fioravanti, Maurizio Proietti, Alberto Pettorossi
      Pages 125-146
  8. Abstract Interpretation

    1. Alessandra Di Pierro, Herbert Wiklicky
      Pages 147-164
  9. Debugging

    1. Erwan Jahier, Mireille Ducassé, Olivier Ridoux
      Pages 165-181
  10. Back Matter
    Pages 183-183

About these proceedings

Keywords

Debugging Program analysis Prolog computational logic constraint programming formal methods functional programming imperative programming logic logic programming program synthesis program verification programming theory semantics verification

Authors and affiliations

  • Kung-Kiu Lau
    • 1
  1. 1.Department of Computer ScienceUniversity of ManchesterManchesterUK

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-45142-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-42127-6
  • Online ISBN 978-3-540-45142-6
  • Series Print ISSN 0302-9743
  • About this book