Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR’98 Manchester, UK, June 15–19, 1998 Selected Papers

Norbert E. Fuchs, Uta Schwertel (auth.), Pierre Flener (eds.)3540657657, 9783540657651

This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR’98 held in Manchester, UK in June 1998. The 16 revised full papers presented were carefully reviewed and selected during three rounds of inspection from a total of initially 36 extended abstracts submitted. Also included are eight short papers. Among the topics covered are logic specification, mathematical program construction, logic programming, computational logics, inductive program synthesis, constraint logic programs, and mathematical foundations.

---

Table of contents :
Attempto Controlled English — Not Just Another Logic Specification Language….Pages 1-20
A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury….Pages 21-40
Pragmatics in the Synthesis of Logic Programs….Pages 41-60
Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems….Pages 61-80
Synthesis of Programs in Abstract Data Types….Pages 81-100
OOD Frameworks in Component-Based Software – Development in Computational Logic….Pages 101-123
The Use of Renaming in Composing General Programs….Pages 124-142
Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes….Pages 143-158
Specialising Logic Programs with Respect to Call/Post Specifications….Pages 159-178
Generalization in Hierarchies of Online Program Specialization Systems….Pages 179-198
Improving Homeomorphic Embedding for Online Termination….Pages 199-218
Successes in Logic Programs….Pages 219-239
Inferring and Compiling Termination for Constraint Logic Programs….Pages 240-254
Strictness Analysis as Finite-Domain Constraint Solving….Pages 255-270
Invariant Discovery via Failed Proof Attempts….Pages 271-288
Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations….Pages 289-307
Algorithms for Synthesizing Reactive Systems: A Perspective….Pages 308-308
Schema-Guided Synthesis of CLP Programs….Pages 309-312
Abstract: Proof Planning with Program Schemas….Pages 313-315
Logical Synthesis of Imperative O.O. Programs….Pages 316-318
Mathematical Foundations for Program Transformations….Pages 319-321
An Exhaustive-Search Method Using Layered Streams Obtained Through a Meta-Interpreter for Chain Programs….Pages 322-324
Bottom-Up Specialisation of Logic Programs….Pages 325-327
Myrtle: A Set-Oriented Meta-Interpreter Driven by a “Relational” Trace for Deductive Databases Debugging….Pages 328-330