Table of contents

  1. Front Matter
  2. I. J. Hayes, R. G. Nickson, P. A. Strooper
    Pages 1-19
  3. Laurent Fribourg, Julian Richardson
    Pages 20-37
  4. Agostino Cortesi, Baudouin Le Charlier, Sabina Rossi
    Pages 38-57
  5. Michael Leuschel, Danny De Schreye
    Pages 58-58
  6. Jesper Jørgensen, Michael Leuschel, Bern Martens
    Pages 59-82
  7. Michael Leuschel, Morten Heine Sørensen
    Pages 83-103
  8. Annalisa Bossi, Nicoletta Cocco
    Pages 104-129
  9. Jacob Brunekreef
    Pages 130-145
  10. Alberto Pettorossi, Maurizio Proietti, Sophie Renault
    Pages 146-168
  11. Germán Puebla, Manuel Hermenegildo
    Pages 169-186
  12. Florence Benoy, Andy King
    Pages 204-223
  13. Jonathan C. Martin, Andy King, Paul Soper
    Pages 224-238
  14. Mihhail Matskin, Jan Komorowski, John Krogstie
    Pages 239-255
  15. Timothy S. Gegg-Harrison
    Pages 256-274
  16. Antonio Brogi, Simone Contiero
    Pages 275-294
  17. Kung-Kiu Lau, Mario Ornaghi
    Pages 295-312
  18. Phan Minh Dung, Robert A. Kowalski, Francesca Toni
    Pages 313-324
  19. Back Matter

About these proceedings

Introduction

This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'96, held on board a ship sailing from Stockholm to Helsinki, in August 1996.
The 17 revised full papers were carefully selected from a total of initially 27 submissions. The topics covered range over the areas of synthesis of programs from specifications, verification, transformation, specialization, and analysis of programs, and the use of program schemata in program development.

Keywords

Programmsynthese logic logic programming program analysis program synthesis program transformation program verification verification

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-62718-9
  • Copyright Information Springer-Verlag 1997
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-62718-0
  • Online ISBN 978-3-540-68494-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Electronics
Telecommunications
Biotechnology