Logic Program Synthesis and Transformation

1. Front Matter

   Pages i-xi

   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

    PDF

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

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

  Norbert E. Fuchs

Policies and ethics