Logic-Based Program Synthesis and Transformation

8th International Workshop, LOPSTR’98 Manchester, UK, June 15–19, 1998 Selected Papers

  • Pierre Flener
Conference proceedings LOPSTR 1998

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

Table of contents

  1. Front Matter
    Pages I-X
  2. Norbert E. Fuchs, Uta Schwertel, Rolf Schwitter
    Pages 1-20
  3. Dante Baldan, Baudouin Le Charlier, Christophe Leclère, Isabelle Pollet
    Pages 21-40
  4. David Robertson, Jaume Agustí
    Pages 41-60
  5. Alessandro Avellone, Mauro Ferrari, Pierangelo Miglioli
    Pages 81-100
  6. Antonio Brogi, Simone Contiero, Franco Turini
    Pages 124-142
  7. Andreas Hamfelt, Jørgen Fischer Nilsson
    Pages 143-158
  8. Robert Glück, John Hatcliff, Jesper Jørgensen
    Pages 179-198
  9. Annalisa Bossi, Nicoletta Cocco
    Pages 219-239
  10. Sébastien Hoarau, Fred Mesnard
    Pages 240-254
  11. Tihomir Gabrić, Kevin Glynn, Harald Søndergaard
    Pages 255-270
  12. Jamie Stark, Andrew Ireland
    Pages 271-288
  13. Hamza Zidoum, Pierre Flener, Brahim Hnich
    Pages 309-312
  14. Julian Richardson
    Pages 313-315
  15. Patrick Bellot, Bernard Robinet
    Pages 316-318
  16. R. Ben Ayed, J. Desharnais, M. Frappier, A. Mili
    Pages 319-321
  17. Wim Vanhoof, Danny De Schreye, Bern Martens
    Pages 325-327
  18. Back Matter
    Pages 331-331

About these proceedings


This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in Manchester, UK in June 1998. The 16 revised full papers presented were carefully reviewed and selected during three rounds of inspection from a total of initially 36 extended abstracts submitted. Also included are eight short papers. Among the topics covered are logic specification, mathematical program construction, logic programming, computational logics, inductive program synthesis, constraint logic programs, and mathematical foundations.


Automated Program Development Logic Programming Program Synthesis Program Transformation Programming Logic logic programming

Editors and affiliations

  • Pierre Flener
    • 1
  1. 1.Department of Information ScienceUppsala UniversityUppsalaSweden

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1999
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-65765-1
  • Online ISBN 978-3-540-48958-0
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment