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
  10. Wiebe van der Hoek, John-Jules Meyer, Jan Treur
    Pages 332-352
  11. Antonio Brogi, Simone Contiero
    Pages 377-394
  12. P. M. Hill
    Pages 395-409
  13. Giuseppe Attardi, Maria Simi
    Pages 410-424
  14. Fausto Giunchiglia, Alessandro Cimatti
    Pages 425-439
  15. Marco Comini, Giorgio Levi, Giuliana Vitiello
    Pages 440-450
  16. Back Matter

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

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1994
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-58792-7
  • Online ISBN 978-3-540-49104-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site