Logic-Based Program Synthesis and Transformation

1. Logical Synthesis of Imperative O.O. Programs

   • Patrick Bellot, Bernard Robinet

   Pages 316-318

2. Mathematical Foundations for Program Transformations

   • R. Ben Ayed, J. Desharnais, M. Frappier, A. Mili

   Pages 319-321

3. An Exhaustive-Search Method Using Layered Streams Obtained Through a Meta-Interpreter for Chain Programs

   • David A. Rosenblueth

   Pages 322-324

4. Bottom-Up Specialisation of Logic Programs

   • Wim Vanhoof, Danny De Schreye, Bern Martens

   Pages 325-327

5. Myrtle: A Set-Oriented Meta-Interpreter Driven by a “Relational” Trace for Deductive Databases Debugging

   • Sarah Mallet, Mireille Ducassé

   Pages 328-330

6. Back Matter

   Pages 331-331

   PDF

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.

• Automated Program Development
• Logic Programming
• Program Synthesis
• Program Transformation
• Programming Logic
• logic
• programming

• Department of Information Science, Uppsala University, Uppsala, Sweden

  Pierre Flener

Policies and ethics