Logic Program Synthesis and Transformation: 7th International Workshop, LOPSTR’97 Leuven, Belgium, July 10–12, 1997 Proceedings
Author: Norbert E. Fuchs
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-65074-4
DOI: 10.1007/3-540-49674-2
Table of Contents:
- A Multi-level Approach to Program Synthesis
- Programs Without Failures
- Generalised Logic Program Transformation Schemas
- Logic Program Schemas, Constraints, and Semi-unification
- Implicit Program Synthesis by a Reversible Metainterpreter
- Termination Analysis for Tabled Logic Programming
- On Correct Program Schemas
- Analysis of Logic Programs with Delay
- Constraint-Based Partial Evaluation of Rewriting-Based Functional Logic Programs
- Preserving Termination of Tabled Logic Programs While Unfolding (Extended Abstract)
- Unfolding the Mystery of Mergesort
- Towards a Logic for Reasoning About Logic Programs Transformation
- A Higher Order Reconstruction of Stepwise Enhancement
- Development of Correct Transformation Schemata for Prolog Programs
- Constrained Regular Approximation of Logic Programs
- A Logic Framework for the Incremental Inductive Synthesis of Datalog Theories
- To Parse or Not To Parse
Includes bibliographical references and index
A multi-level approach to program synthesis / W. Bibel [and others] -- Programs without failures / A. Bossi, N. Cocco -- Generalised logic program transformation schemas / H. Büyükyildiz, P. Flener -- Logic program schemas, constraints and semi-unification / E. Chasseur, Y. Deville -- Implicit program synthesis by a reversible metainterpreter / H. Christiansen -- Termination analysis for tabled logic programming / S. Decorte [and others] -- On correct program schemas / P. Flener, K.-K. Lau, M. Ornaghi -- Analysis of logic programs with delay / A. Heaton, P. Hill, A. King -- Constraint-based partial evaluation of rewriting-based functional logic programs / L. Lafave, J.P. Gallagher -- Preserving termination of tabled logic programs while unfolding / M. Leuschel, B. Martens, K. Sagonas -- Unfolding the mystery of Mergesort / N. Lindenstrauss, Y. Sagiv, A. Serebrenik -- Towards a logic for reasoning about logic programs transformation / A. Momigliano, M. Ornaghi -- A higher order reconstruction of stepwise enhancement / L. Naish, L. Sterling -- Development of correct transformation schemata for prolog programs / J. Richardson, N.E. Fuchs -- Constrained regular approximation of logic programs / H. Saglam, J.P. Gallagher -- A logic framework for the incremental inductive synthesis of datalog theories / G. Semeraro [and others] -- To parse or not to parse / W. Vanhoof, B. Martens
