Skip to main content
Springer Nature Link
Log in

Logic Program Synthesis and Transformation

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

  • Conference proceedings
  • © 1998

Overview

Editors:
  1. Norbert E. Fuchs

    1. Department of Computer Science, University of Zurich, Zurich, Switzerland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: LOPSTR 1997.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

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.

Similar content being viewed by others

Keywords

Table of contents (17 papers)

  1. Front Matter

    Pages i-xi
    Download chapter PDF

  2. A Multi-level Approach to Program Synthesis

    • W. Bibel, D. Korn, C. Kreitz, F. Kurucz, J. Otten, S. Schmitt et al.
    Pages 1-27

  3. Programs Without Failures

    • Annalisa Bossi, Nicoletta Cocco
    Pages 28-48

  4. Generalised Logic Program Transformation Schemas

    • Halime Büyükyıldız, Pierre Flener
    Pages 49-68

  5. Logic Program Schemas, Constraints, and Semi-unification

    • Eric Chasseur, Yves Deville
    Pages 69-89

  6. Implicit Program Synthesis by a Reversible Metainterpreter

    • Henning Christiansen
    Pages 90-110

  7. Termination Analysis for Tabled Logic Programming

    • Stefaan Decorte, Danny De Schreye, Michael Leuschel, Bern Martens, Konstantinos Sagonas
    Pages 111-127

  8. On Correct Program Schemas

    • Pierre Flener, Kung-Kiu Lau, Mario Ornaghi
    Pages 128-147

  9. Analysis of Logic Programs with Delay

    • Andrew Heaton, Pat Hill, Andy King
    Pages 148-167

  10. Constraint-Based Partial Evaluation of Rewriting-Based Functional Logic Programs

    • L. Lafave, J. P. Gallagher
    Pages 168-188

  11. Preserving Termination of Tabled Logic Programs While Unfolding (Extended Abstract)

    • Michael Leuschel, Bern Martens, Konstantinos Sagonas
    Pages 189-205

  12. Unfolding the Mystery of Mergesort

    • N. Lindenstrauss, Y. Sagiv, A. Serebrenik
    Pages 206-225

  13. Towards a Logic for Reasoning About Logic Programs Transformation

    • Alberto Momigliano, Mario Ornaghi
    Pages 226-244

  14. A Higher Order Reconstruction of Stepwise Enhancement

    • Lee Naish, Leon Sterling
    Pages 245-262

  15. Development of Correct Transformation Schemata for Prolog Programs

    • Julian Richardson, Norbert Fuchs
    Pages 263-281

  16. Constrained Regular Approximation of Logic Programs

    • Hüseyin Sağlam, John P. Gallagher
    Pages 282-299

  17. A Logic Framework for the Incremental Inductive Synthesis of Datalog Theories

    • Giovanni Semeraro, Floriana Esposito, Donato Malerba, Nicola Fanizzi, Stefano Ferilli
    Pages 300-321

  18. To Parse or Not To Parse

    • Wim Vanhoof, Bern Martens
    Pages 322-342

  19. Back Matter

    Pages 343-343
    Download chapter PDF
Back to top

Other volumes

  1. Logic Program Synthesis and Transformation

Editors and Affiliations

  • Department of Computer Science, University of Zurich, Zurich, Switzerland

    Norbert E. Fuchs

Bibliographic Information

Publish with us

Policies and ethics

Back to top