Skip to main content
SpringerLink
Log in
Book cover

Logic Program Synthesis and Transformation - Meta-Programming in Logic

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

  • Conference proceedings
  • © 1994

Overview

Editors:
  1. Laurent Fribourg
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Franco Turini
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: LOPSTR 1994, META 1994.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (27 papers)

  1. Front Matter

    Download chapter 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
Back to top

Other volumes

  1. Logic Program Synthesis and Transformation — Meta-Programming in Logic

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation