Skip to main content
  • Conference proceedings
  • © 2008

Logic-Based Program Synthesis and Transformation

17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

Editors:

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): LOPSTR: International Symposium on Logic-Based Program Synthesis and Transformation

Conference proceedings info: LOPSTR 2007.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (14 papers)

  1. Front Matter

  2. Program Termination

    1. Termination Analysis of Logic Programs Based on Dependency Graphs

      • Manh Thang Nguyen, Jürgen Giesl, Peter Schneider-Kamp, Danny De Schreye
      Pages 8-22
    2. Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation

      • Elvira Albert, John Gallagher, Miguel Gómez-Zamalloa, Germán Puebla
      Pages 23-42
  3. Program Transformation

    1. Towards a Normal Form for Mercury Programs

      • François Degrave, Wim Vanhoof
      Pages 43-58
    2. Aggregates for CHR through Program Transformation

      • Peter Van Weert, Jon Sneyers, Bart Demoen
      Pages 59-73
    3. Preserving Sharing in the Partial Evaluation of Lazy Functional Programs

      • Sebastian Fischer, Josep Silva, Salvador Tamarit, Germán Vidal
      Pages 74-89
    4. Denotation by Transformation

      • Bernd Braßel, Jan Christiansen
      Pages 90-105
  4. Constraint Solving and Analysis

    1. Generation of Rule-Based Constraint Solvers: Combined Approach

      • Slim Abdennadher, Ingi Sobhi
      Pages 106-120
    2. A Scalable Inclusion Constraint Solver Using Unification

      • Ye Zhang, Flemming Nielson
      Pages 121-137
    3. Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs

      • Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
      Pages 138-153
    4. A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs

      • Mario Méndez-Lojo, Jorge Navas, Manuel V. Hermenegildo
      Pages 154-168
  5. Software Engineering

    1. Snapshot Generation in a Constructive Object-Oriented Modeling Language

      • Mauro Ferrari, Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi
      Pages 169-184
    2. Action Refinement in Process Algebra and Security Issues

      • Annalisa Bossi, Carla Piazza, Sabina Rossi
      Pages 201-217
  6. Back Matter

Other Volumes

  1. Logic-Based Program Synthesis and Transformation

Keywords

  • agent-based software development
  • algorithm
  • algorithms
  • analysis
  • component-based software development
  • composition
  • logic
  • modeling
  • optimisation
  • program refinement
  • proving
  • reuse
  • software architectures
  • specification
  • verification

Editors and Affiliations

  • Portcullis Computer Security Limited, Pinner, UK

    Andy King

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions