𝔖 Scriptorium
✦   LIBER   ✦
📁

Logic Program Synthesis and Transformation: 7th International Workshop, LOPSTR’97 Leuven, Belgium, July 10–12, 1997 Proceedings

✍ Scribed by W. Bibel, D. Korn, C. Kreitz, F. Kurucz (auth.), Norbert E. Fuchs (eds.)

Publisher
Springer-Verlag Berlin Heidelberg
Year
1998
Tongue
English
Leaves
352
Series
Lecture Notes in Computer Science 1463
Edition
1
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis

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

A Multi-level Approach to Program Synthesis....Pages 1-27
Programs Without Failures....Pages 28-48
Generalised Logic Program Transformation Schemas....Pages 49-68
Logic Program Schemas, Constraints, and Semi-unification....Pages 69-89
Implicit Program Synthesis by a Reversible Metainterpreter....Pages 90-110
Termination Analysis for Tabled Logic Programming....Pages 111-127
On Correct Program Schemas....Pages 128-147
Analysis of Logic Programs with Delay....Pages 148-167
Constraint-Based Partial Evaluation of Rewriting-Based Functional Logic Programs....Pages 168-188
Preserving Termination of Tabled Logic Programs While Unfolding (Extended Abstract)....Pages 189-205
Unfolding the Mystery of Mergesort ....Pages 206-225
Towards a Logic for Reasoning About Logic Programs Transformation....Pages 226-244
A Higher Order Reconstruction of Stepwise Enhancement....Pages 245-262
Development of Correct Transformation Schemata for Prolog Programs....Pages 263-281
Constrained Regular Approximation of Logic Programs....Pages 282-299
A Logic Framework for the Incremental Inductive Synthesis of Datalog Theories....Pages 300-321
To Parse or Not To Parse....Pages 322-342

✦ Subjects

Programming Techniques; Artificial Intelligence (incl. Robotics); Logics and Meanings of Programs; Mathematical Logic and Formal Languages

📜 SIMILAR VOLUMES

Logic Program Synthesis and Transformati
📁 Logic Program Synthesis and Transformation: 7th International Workshop, LOPSTR’97 Leuven, Belgium, July 10–12, 1997 Proceedings
✍ W. Bibel, D. Korn, C. Kreitz, F. Kurucz (auth.), Norbert E. Fuchs (eds.) 📂 Library 📅 1998 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

<p>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 LOP

Logic Program Synthesis and Transformati
📁 Logic Program Synthesis and Transformation: Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7–9 July 1993
✍ Douglas R. Smith (auth.), Yves Deville (eds.) 📂 Library 📅 1994 🏛 Springer-Verlag London 🌐 English

<p>This volume contains extended versions of papers presented at the Third International Workshop on Logic Program Synthesis and Transformation (LOPSTR 93) held in Louvain-la-Neuve in July 1993. Much of the success of the workshop is due to Yves Deville who served as Organizer and Chair. Many people

Logic Program Synthesis and Transformati
📁 Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University ... 2-3 July 1992
✍ Kung-Kiu Lau, Timothy P. Clement 📂 Library 📅 1993 🏛 Springer 🌐 English

Logic program synthesis and transformation are topics of central importance to the software industry. The demand for software can not be met by the current supply, in terms of volume, complexity, or reliability. The most promising solution seems to be the increased automation of software production:

Logic Program Synthesis and Transformati
📁 Logic Program Synthesis and Transformation: Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4–5 July 1991
✍ Jonathan M. Lever (auth.), Timothy Paul Clement MA, DPhil, Kung-Kiu Lau BSc, PhD 📂 Library 📅 1992 🏛 Springer-Verlag London 🌐 English

<p>Logic programming synthesis and transformation are methods of deriving logic programs from their specifications and, where necessary, producing alternative but equivalent forms of a given program. The techniques involved in synthesis and transformation are extremely important as they allow the sy

Logic Program Synthesis and Transformati
📁 Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2–3 July 1992
✍ Ina Kraan, David Basin, Alan Bundy (auth.), Kung-Kiu Lau Bsc, PhD, Timothy Paul 📂 Library 📅 1993 🏛 Springer-Verlag London 🌐 English

<p>Logic program synthesis and transformation are topics of central importance to the software industry. The demand for software can not be met by the current supply, in terms of volume, complexity, or reliability. The most promising solution seems to be the increased automation of software producti

Logic Program Synthesis and Transformati
📁 Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings
✍ David A. Basin (auth.), Laurent Fribourg, Franco Turini (eds.) 📂 Library 📅 1994 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

<p>This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR '94) and on Meta-Programming <BR>(META '94), held jointly in Pisa, Italy in June 1994.<BR>This book includes thoroughly revised versions of the best papers pre