Happy holidays from us to you—get up to $30 off your next print or eBook! Shop now >>

Lecture Notes in Computer Science

Logic Program Synthesis and Transformation

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

Editors: Fuchs, Norbert E. (Ed.)

Buy this book

eBook $74.99
price for USA in USD (gross)
  • ISBN 978-3-540-49674-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-65074-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (17 chapters)

  • A Multi-level Approach to Program Synthesis

    Bibel, W. (et al.)

    Pages 1-27

  • Programs Without Failures

    Bossi, Annalisa (et al.)

    Pages 28-48

  • Generalised Logic Program Transformation Schemas

    Büyükyıldız, Halime (et al.)

    Pages 49-68

  • Logic Program Schemas, Constraints, and Semi-unification

    Chasseur, Eric (et al.)

    Pages 69-89

  • Implicit Program Synthesis by a Reversible Metainterpreter

    Christiansen, Henning

    Pages 90-110

Buy this book

eBook $74.99
price for USA in USD (gross)
  • ISBN 978-3-540-49674-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-65074-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Logic Program Synthesis and Transformation
Book Subtitle
7th International Workshop, LOPSTR ’97, Leuven, Belgium, July 10–12, 1997 Proceedings
Editors
  • Norbert E. Fuchs
Series Title
Lecture Notes in Computer Science
Series Volume
1463
Copyright
1998
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-49674-8
DOI
10.1007/3-540-49674-2
Softcover ISBN
978-3-540-65074-4
Series ISSN
0302-9743
Edition Number
1
Number of Pages
X, 343
Number of Illustrations
9 b/w illustrations, 2 illustrations in colour
Topics