Skip to main content
SpringerLink
Log in

Logic Program Synthesis and Transformation

6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings

  • Conference proceedings
  • © 1997

Overview

Editors:
  1. John Gallagher
    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 1207)

Included in the following conference series:

Conference proceedings info: LOPSTR 1996.

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 (18 papers)

  1. Front Matter

    Download chapter PDF

  2. Refining specifications to logic programs

    • I. J. Hayes, R. G. Nickson, P. A. Strooper
    Pages 1-19

  3. Symbolic verification with gap-order constraints

    • Laurent Fribourg, Julian Richardson
    Pages 20-37

  4. Specification-based automatic verification of Prolog programs

    • Agostino Cortesi, Baudouin Le Charlier, Sabina Rossi
    Pages 38-57

  5. Logic program specialisation: How to be more specific

    • Michael Leuschel, Danny De Schreye
    Pages 58-58

  6. Conjunctive partial deduction in practice

    • Jesper Jørgensen, Michael Leuschel, Bern Martens
    Pages 59-82

  7. Redundant argument filtering of logic programs

    • Michael Leuschel, Morten Heine Sørensen
    Pages 83-103

  8. Replacement can preserve termination

    • Annalisa Bossi, Nicoletta Cocco
    Pages 104-129

  9. A transformation tool for pure Prolog programs

    • Jacob Brunekreef
    Pages 130-145

  10. Enhancing partial deduction via unfold/fold rules

    • Alberto Pettorossi, Maurizio Proietti, Sophie Renault
    Pages 146-168

  11. Abstract specialization and its application to program parallelization

    • Germán Puebla, Manuel Hermenegildo
    Pages 169-186

  12. Reductions of petri nets and unfolding of propositional logic programs

    • Laurent Fribourg, Hans Olsén
    Pages 187-203

  13. Inferring argument size relationships with CLP(\(\mathcal{R}\))

    • Florence Benoy, Andy King
    Pages 204-223

  14. Typed norms for typed logic programs

    • Jonathan C. Martin, Andy King, Paul Soper
    Pages 224-238

  15. Partial deduction in the framework of structural synthesis of programs

    • Mihhail Matskin, Jan Komorowski, John Krogstie
    Pages 239-255

  16. Extensible logic program schemata

    • Timothy S. Gegg-Harrison
    Pages 256-274

  17. Specialising meta-level compositions of logic programs

    • Antonio Brogi, Simone Contiero
    Pages 275-294

  18. Forms of logic specifications: A preliminary study

    • Kung-Kiu Lau, Mario Ornaghi
    Pages 295-312

  19. Synthesis of proof procedures for default reasoning

    • Phan Minh Dung, Robert A. Kowalski, Francesca Toni
    Pages 313-324

  20. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Logic Program Synthesis and Transformation

Keywords

About this book

This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'96, held on board a ship sailing from Stockholm to Helsinki, in August 1996.
The 17 revised full papers were carefully selected from a total of initially 27 submissions. The topics covered range over the areas of synthesis of programs from specifications, verification, transformation, specialization, and analysis of programs, and the use of program schemata in program development.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation