Skip to main content
SpringerLink
Log in

Logic-Based Program Synthesis and Transformation

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

  • Conference proceedings
  • © 2008

Overview

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)

Included in the following conference series:

Conference proceedings info: LOPSTR 2007.

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

  1. Front Matter

    Download chapter PDF

  2. Program Termination

    1. Proving Termination with (Boolean) Satisfaction

      • Michael Codish
      Pages 1-7

    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

    2. Synthesis of Data Views for Communicating Processes

      • Iman Poernomo
      Pages 185-200

    3. Action Refinement in Process Algebra and Security Issues

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

  6. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Logic-Based Program Synthesis and Transformation

Keywords

Editors and Affiliations

  • Portcullis Computer Security Limited, Pinner, UK

    Andy King

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation