Skip to main content
SpringerLink
Log in

Logic Based Program Synthesis and Transformation

12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers

  • Conference proceedings
  • © 2003

Overview

Editors:
  1. Michael Leuschel

    1. Dept. of Electronics and Computer Science, University of Southampton, Highfield, Southampton, UK

    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 2664)

Included in the following conference series:

Conference proceedings info: LOPSTR 2002.

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

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Debugging and Types

    1. Abstract Diagnosis of Functional Programs

      • María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas
      Pages 1-16

    2. A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene

      • Francisco Gutiérrez, Blas Ruiz
      Pages 17-31

  3. Tabling and Constraints

    1. Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming

      • Slim Abdennadher, Christophe Rigotti
      Pages 32-47

    2. Translating Datalog-Like Optimization Queries into ILOG Programs

      • G. Greco, S. Greco, I. Trubitsyna, E. Zumpano
      Pages 48-49

    3. Tabling Structures for Bottom-Up Logic Programming

      • Roger Clayton, John G. Cleary, Bernhard Pfahringer, Mark Utting
      Pages 50-51

  4. Abstract Interpretation

    1. A General Framework for Variable Aliasing: Towards Optimal Operators for Sharing Properties

      • Gianluca Amato, Francesca Scozzari
      Pages 52-70

    2. Two Variables per Linear Inequality as an Abstract Domain

      • Axel Simon, Andy King, Jacob M. Howe
      Pages 71-89

    3. Convex Hull Abstractions in Specialization of CLP Programs

      • Julio C. Peralta, John P. Gallagher
      Pages 90-108

    4. Collecting Potential Optimisations

      • Nancy Mazur, Gerda Janssens, Wim Vanhoof
      Pages 109-110

  5. Program Refinement

    1. An Operational Approach to Program Extraction in the Calculus of Constructions

      • Maribel Fernández, Paula Severi
      Pages 111-125

    2. Refinement of Higher-Order Logic Programs

      • Robert Colvin, Ian Hayes, David Hemer, Paul Strooper
      Pages 126-143

    3. A Generic Program for Minimal Subsets with Applications

      • Rudolf Berghammer
      Pages 144-157

  6. Verification

    1. Justification Based on Program Transformation

      • Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan
      Pages 158-159

    2. Combining Logic Programs and Monadic Second Order Logics by Program Transformation

      • Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
      Pages 160-181

    3. Verification in ACL2 of a Generic Framework to Synthesize SAT-Provers

      • F. J. Martín-Mateos, J. A. Alonso, M. J. Hidalgo, J. L. Ruiz-Reina
      Pages 182-198

    4. A Proof System for Information Flow Security

      • Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
      Pages 199-218

  7. Partial Evaluation

    1. Forward Slicing of Multi-paradigm Declarative Programs Based on Partial Evaluation

      • Germán Vidal
      Pages 219-237

    2. A Fixed Point Semantics for Logic Programs Extended with Cuts

      • Wim Vanhoof, Remko Tronçon, Maurice Bruynooghe
      Pages 238-257

    3. Abstract Partial Deduction Challenged

      • Stefan Gruner
      Pages 258-259
Back to top

Other volumes

  1. Logic Based Program Synthesis and Transformation

Keywords

About this book

 This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Spain in September 2002.

The 15 revised full papers presented together with 7 abstracts were carefully selected during two rounds of reviewing and revision from 40 submissions. The papers are organized in topical sections on debugging and types, tabling and constraints, abstract interpretation, program refinement, verification, partial evaluation, and rewriting and object-oriented development.

Editors and Affiliations

  • Dept. of Electronics and Computer Science, University of Southampton, Highfield, Southampton, UK

    Michael Leuschel

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation