© 1994

Logic Program Synthesis and Transformation — Meta-Programming in Logic

4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings

  • Editors
  • Laurent Fribourg
  • Franco Turini
Conference proceedings META 1994, LOPSTR 1994

Part of the Lecture Notes in Computer Science book series (LNCS, volume 883)

Table of contents

  1. Front Matter
  2. David A. Basin
    Pages 1-16
  3. N. Bensaou, I. Guessarian
    Pages 17-35
  4. Dmitri Boulanger, Maurice Bruynooghe
    Pages 36-50
  5. David Gilbert, Christopher Hogger, Jirí Zlatuska
    Pages 88-103
  6. Michael Leuschel
    Pages 122-137
  7. Giovanni Semeraro, Floriana Esposito, Donato Malerba, Clifford Brunk, Michael Pazzani
    Pages 183-198
  8. Jonas Barklund, Katrin Boberg, Pierangelo Dell'Acqua
    Pages 262-275
  9. Marion Mircheva
    Pages 276-292

About these proceedings


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

Bibliographic information