Logic-Based Program Synthesis and Transformation

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

Editors:

ISBN: 978-3-540-78768-6 (Print) 978-3-540-78769-3 (Online)

Table of contents (14 chapters)

  1. Front Matter

    Pages -

  2. Program Termination

    1. No Access

      Book Chapter

      Pages 1-7

      Proving Termination with (Boolean) Satisfaction

    2. No Access

      Book Chapter

      Pages 8-22

      Termination Analysis of Logic Programs Based on Dependency Graphs

    3. No Access

      Book Chapter

      Pages 23-42

      Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation

  3. Program Transformation

    1. No Access

      Book Chapter

      Pages 43-58

      Towards a Normal Form for Mercury Programs

    2. No Access

      Book Chapter

      Pages 59-73

      Aggregates for CHR through Program Transformation

    3. No Access

      Book Chapter

      Pages 74-89

      Preserving Sharing in the Partial Evaluation of Lazy Functional Programs

    4. No Access

      Book Chapter

      Pages 90-105

      Denotation by Transformation

  4. Constraint Solving and Analysis

    1. No Access

      Book Chapter

      Pages 106-120

      Generation of Rule-Based Constraint Solvers: Combined Approach

    2. No Access

      Book Chapter

      Pages 121-137

      A Scalable Inclusion Constraint Solver Using Unification

    3. No Access

      Book Chapter

      Pages 138-153

      Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs

    4. No Access

      Book Chapter

      Pages 154-168

      A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs

  5. Software Engineering

    1. No Access

      Book Chapter

      Pages 169-184

      Snapshot Generation in a Constructive Object-Oriented Modeling Language

    2. No Access

      Book Chapter

      Pages 185-200

      Synthesis of Data Views for Communicating Processes

    3. No Access

      Book Chapter

      Pages 201-217

      Action Refinement in Process Algebra and Security Issues

  6. Back Matter

    Pages -