Logic Program Synthesis and Transformation

Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4–5 July 1991

  • Timothy Paul Clement
  • Kung-Kiu Lau
Conference proceedings

Part of the Workshops in Computing book series (WORKSHOPS COMP.)

Table of contents

  1. Front Matter
    Pages i-x
  2. Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
    Pages 13-26
  3. Geraint Wiggins, Ina Kraan, Alan Bundy, Jane Hesketh
    Pages 27-45
  4. Pierre Flener, Yves Deville
    Pages 46-64
  5. Klaus P. Jantke, Ulf Goldammer
    Pages 65-68
  6. M. G. Read, E. A. Kazmierczak
    Pages 69-93
  7. Luboš Popelinský
    Pages 94-96
  8. Mattias Waldau
    Pages 97-110
  9. Norbert E. Fuchs, Markus P. J. Fromherz
    Pages 111-125
  10. Francis Alexandre, Khaled Bsaies, Alain Quéré
    Pages 129-146
  11. Christophe Lecoutre, Philippe Devienne, Patrick Lebegue
    Pages 147-166
  12. P. M. Hill
    Pages 183-204
  13. D. A. de Waal, J. Gallagher
    Pages 205-220
  14. Anne Parrain, Philippe Devienne, Patrick Lebegue
    Pages 238-251

About these proceedings

Introduction

Logic programming synthesis and transformation are methods of deriving logic programs from their specifications and, where necessary, producing alternative but equivalent forms of a given program. The techniques involved in synthesis and transformation are extremely important as they allow the systematic construction of correct and efficient programs and have the potential to enhance current methods of software production. Transformation strategies are also being widely used in the field of logic program development. LOPSTR 91 was the first workshop to deal exclusively with both logic program synthesis and transformation and, as such, filled an obvious gap in the existing range of logic programming workshops. In attempting to cover the subject as comprehensively as possible, the workshop brought together researchers with an interest in all aspects of logic (including Horn Clause and first order logic) and all approaches to program synthesis and transformation. Logic Program Synthesis and Transformation provides a complete record of the workshop, with all the papers reproduced either in full or as extended abstracts. They cover a wide range of aspects, both practical and theoretical, including the use of mode input-output in program transformation, program specification and synthesis in constructive formal systems and a case study in formal program development in modular Prolog. This volume provides a comprehensive overview of current research and will be invaluable to researchers and postgraduate students who wish to enhance their understanding of logic programming techniques.

Keywords

Logic Programming transformation Logic programming synthesis Program development Variable algorithms database logic logic programming optimization program synthesis program transformation programming semantics

Editors and affiliations

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

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-4471-3494-7
  • Copyright Information Springer-Verlag London 1992
  • Publisher Name Springer, London
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-19742-3
  • Online ISBN 978-1-4471-3494-7
  • Series Print ISSN 1431-1682
  • About this book