Skip to main content
SpringerLink
Log in
Book cover
  • 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:

  1. Andy King

    1. Portcullis Computer Security Limited, Pinner, 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 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.

Sections

Buy it now

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

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

Table of contents (14 papers)

  1. Front Matter

    PDF

  2. Program Termination

    2. Termination Analysis of Logic Programs Based on Dependency Graphs

      • Manh Thang Nguyen, Jürgen Giesl, Peter Schneider-Kamp, Danny De Schreye
      Pages 8-22

    3. 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

    3. Action Refinement in Process Algebra and Security Issues

      • Annalisa Bossi, Carla Piazza, Sabina Rossi
      Pages 201-217

  6. Back Matter

    PDF
Back to top

Other Volumes

  1. Logic-Based Program Synthesis and Transformation

Back to top

Keywords

Back to top

Editors and Affiliations

  • Portcullis Computer Security Limited, Pinner, UK

    Andy King

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation