Skip to main content
SpringerLink
Log in
Book cover

Logic Based Program Synthesis and Transformation

10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers

  • Conference proceedings
  • © 2001

Overview

Authors:
  1. Kung-Kiu Lau

    1. Department of Computer Science, University of Manchester, Manchester, UK

    View author publications

    You can also search for this author in PubMed   Google Scholar

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

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

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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 (10 papers)

  1. Front Matter

    Pages I-VIII
    Download chapter PDF

  2. Synthesis

    1. A Formal Framework for Synthesis and Verification of Logic Programs

      • Alessandro Avellone, Mauro Ferrari, Camillo Fiorentini
      Pages 1-17

  3. Protocols between Programs and Proofs

    1. Protocols between Programs and Proofs

      • Iman Poernomo, John N. Crossley
      Pages 18-37

  4. A Technique for Modular Logic Program Refinement

    1. A Technique for Modular Logic Program Refinement

      • Robert Colvin, Ian Hayes, Paul Strooper
      Pages 38-56

  5. Transformation

    1. Higher-Order Transformation of Logic Programs

      • Silvija Seres, Michael Spivey
      Pages 57-68

  6. Analysis

    1. Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings

      • Alexander Serebrenik, Danny De Schreye
      Pages 69-85

  7. Specialisation

    1. A Model for Inter-module Analysis and Optimizing Compilation

      • Francisco Bueno, Manuel Hermenegildo, Germán Puebla, María García de la Banda, Kim Marriott, Peter J. Stuckey
      Pages 86-102

    2. Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages

      • Elvira Albert, Germán Vidal, Sergio Antoy
      Pages 103-124

    3. Automated Strategies for Specializing Constraint Logic Programs

      • Fabio Fioravanti, Maurizio Proietti, Alberto Pettorossi
      Pages 125-146

  8. Abstract Interpretation

    1. Measuring the Precision of Abstract Interpretations

      • Alessandra Di Pierro, Herbert Wiklicky
      Pages 147-164

  9. Debugging

    1. Specifying Prolog Trace Models with a Continuation Semantics

      • Erwan Jahier, Mireille Ducassé, Olivier Ridoux
      Pages 165-181

  10. Back Matter

    Pages 183-183
    Download chapter PDF
Back to top

Keywords

Authors and Affiliations

  • Department of Computer Science, University of Manchester, Manchester, UK

    Kung-Kiu Lau

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation