Logic Program Synthesis and Transformation - Meta-Programming in Logic

1. Front Matter

   PDF

2. Logic frameworks for logic programs

   • David A. Basin

   Pages 1-16

3. An extended transformation system for CLP programs

   • N. Bensaou, I. Guessarian

   Pages 17-35

4. Using call/exit analysis for logic program transformation

   • Dmitri Boulanger, Maurice Bruynooghe

   Pages 36-50

5. A transformation system for definite programs based on termination analysis

   • J. Cook, J. P. Gallagher

   Pages 51-68

6. On the use of inductive reasoning in program synthesis: Prejudice and prospects

   • Pierre Flener, Lubos Popelínský

   Pages 69-87

7. Transforming specifications of observable behaviour into programs

   • David Gilbert, Christopher Hogger, Jirí Zlatuska

   Pages 88-103

8. On specification frameworks and deductive synthesis of logic programs

   • Kung-Kiu Lau, Mario Ornaghi

   Pages 104-121

9. Partial evaluation of the “real thing”

   • Michael Leuschel

   Pages 122-137

10. Schema-based top-down design of logic programs using abstract data types

    • E. Marakakis, J. P. Gallagher

    Pages 138-153

11. Generalizing extended execution for normal programs

    • Sophie Renault

    Pages 154-169

12. Partial deduction of disjunctive logic programs: A declarative approach

    • Chiaki Sakama, Hirohisa Seki

    Pages 170-182

13. Avoiding non-termination when learning logic programs: A case study with FOIL and FOCL

    • Giovanni Semeraro, Floriana Esposito, Donato Malerba, Clifford Brunk, Michael Pazzani

    Pages 183-198

14. Propagation of inter-argument dependencies in “Tuple-distributive” type inference systems

    • Christine Solnon, Michel Rueher

    Pages 199-214

15. Logic programming and logic grammars with first-order continuations

    • Paul Tarau, Veronica Dahl

    Pages 215-230

16. Improving the Whelk system: A type-theoretic reconstruction

    • Geraint A. Wiggins

    Pages 231-247

17. A model of costs and benefits of meta-level computation

    • Frank van Harmelen

    Pages 248-261

18. A basis for a multilevel metalogic programming language

    • Jonas Barklund, Katrin Boberg, Pierangelo Dell'Acqua

    Pages 262-275

19. Logic programs with tests

    • Marion Mircheva

    Pages 276-292

20. An architecture with multiple meta-levels for the development of correct programs

    • Barbara Dunin-Keplicz

    Pages 293-310

This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR '94) and on Meta-Programming
(META '94), held jointly in Pisa, Italy in June 1994.
This book includes thoroughly revised versions of the best papers presented at both workshops. The main topics addressed by the META papers are language extensions in support of meta-logic, semantics of meta-logic, implementation of meta-logic features, performance of meta-logic, and several applicational aspects. The LOPSTR papers are devoted to unfolding/folding, partial deduction, proofs as programs, inductive logic programming, automated program verification, specification and programming methodologies.

• Debugging
• Inductive Logic Programming
• Induktives Logisches Programmieren
• Meta-Programmieren
• Meta-Programming
• Partial Deduction
• Partielle Deduktion
• Program Synthesis
• Programmtransformation
• logic
• programming
• programming language
• proving
• semantics
• verification

Policies and ethics