© 1998

Logic Program Synthesis and Transformation

7th International Workshop, LOPSTR’97 Leuven, Belgium, July 10–12, 1997 Proceedings

  • Norbert E. Fuchs
Conference proceedings LOPSTR 1997

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

Table of contents

  1. Front Matter
    Pages i-xi
  2. W. Bibel, D. Korn, C. Kreitz, F. Kurucz, J. Otten, S. Schmitt et al.
    Pages 1-27
  3. Annalisa Bossi, Nicoletta Cocco
    Pages 28-48
  4. Halime Büyükyıldız, Pierre Flener
    Pages 49-68
  5. Eric Chasseur, Yves Deville
    Pages 69-89
  6. Stefaan Decorte, Danny De Schreye, Michael Leuschel, Bern Martens, Konstantinos Sagonas
    Pages 111-127
  7. Pierre Flener, Kung-Kiu Lau, Mario Ornaghi
    Pages 128-147
  8. Andrew Heaton, Pat Hill, Andy King
    Pages 148-167
  9. Michael Leuschel, Bern Martens, Konstantinos Sagonas
    Pages 189-205
  10. N. Lindenstrauss, Y. Sagiv, A. Serebrenik
    Pages 206-225
  11. Alberto Momigliano, Mario Ornaghi
    Pages 226-244
  12. Lee Naish, Leon Sterling
    Pages 245-262
  13. Julian Richardson, Norbert Fuchs
    Pages 263-281
  14. Hüseyin Sağlam, John P. Gallagher
    Pages 282-299
  15. Giovanni Semeraro, Floriana Esposito, Donato Malerba, Nicola Fanizzi, Stefano Ferilli
    Pages 300-321
  16. Wim Vanhoof, Bern Martens
    Pages 322-342
  17. Back Matter
    Pages 343-343

About these proceedings


This volume contains the papers from the Seventh International Workshop on Logic Program Synthesis and Transformation, LOPSTR '97, that took place in Leuven, Belgium, on July 10–12, 1997, 'back to back' with the Fourteenth International Conference on Logic Programming, ICLP '97. Both ICLP and LOPSTR were organised by the K.U. Leuven Department of Computer Science. LOPSTR '97 was sponsored by Compulog Net and by the Flanders Research Network on Declarative Methods in Computer Science. LOPSTR '97 had 39 participants from 13 countries. There were two invited talks by Wolfgang Bibel (Darmstadt) on 'A multi level approach to program synthesis', and by Henning Christiansen (Roskilde) on 'Implicit program synthesis by a reversible metainterpreter'. Extended versions of both talks appear in this volume. There were 19 technical papers accepted for presentation at LOPSTR '97, out of 33 submissions. Of these, 15 appear in extended versions in this volume. Their topics range over the fields of program synthesis, program transformation, program analysis, tabling, metaprogramming, and inductive logic programming.


Inductive Synthesis Program Analysis Program Enhancement Program Manipulation logic logic programming program synthesis program transformation programming

Editors and affiliations

  • Norbert E. Fuchs
    • 1
  1. 1.Department of Computer ScienceUniversity of ZurichZurichSwitzerland

Bibliographic information

Industry Sectors
IT & Software
Finance, Business & Banking
Energy, Utilities & Environment