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

Introduction

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.

Keywords

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 https://doi.org/10.1007/3-540-58792-6
  • Copyright Information Springer-Verlag 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
  • About this book
Industry Sectors
Pharma
Automotive
Biotechnology
Electronics
Telecommunications
Aerospace