Logic-Based Program Synthesis and Transformation

9th International Workshop, LOPSTR’99, Venice, Italy, September 22-24, 1999 Selected Papers

Editors:

ISBN: 978-3-540-67628-7 (Print) 978-3-540-45148-8 (Online)

Table of contents (17 chapters)

  1. Front Matter

    Pages -

  2. Invited Talk

    1. No Access

      Book Chapter

      Pages 1-9

      Algebraic Specification and Program Development by Stepwise Refinement

  3. Tutorials

    1. No Access

      Book Chapter

      Pages 10-29

      Proof Obligations of the B Formal Method: Local Proofs Ensure Global Consistency

    2. No Access

      Book Chapter

      Pages 30-41

      Constraint Logic Programming Applied to Model Checking

  4. Software Development

    1. No Access

      Book Chapter

      Pages 42-61

      On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic

  5. Analysis and Specialisation

    1. No Access

      Book Chapter

      Pages 62-81

      Infinite State Model Checking by Abstract Interpretation and Program Specialisation

    2. No Access

      Book Chapter

      Pages 82-101

      Mode Analysis Domains for Typed Logic Programs

    3. No Access

      Book Chapter

      Pages 102-117

      Imperative Program Specialisation: An Approach Using CLP

    4. No Access

      Book Chapter

      Pages 118-135

      Specialising Finite Domain Programs Using Polyhedra

  6. Transformation

    1. No Access

      Book Chapter

      Pages 136-155

      Roles of Program Extension

    2. No Access

      Book Chapter

      Pages 156-175

      Transformation of Left Terminating Programs

    3. No Access

      Book Chapter

      Pages 176-195

      Transformation Rules for Logic Programs with Goals as Arguments

    4. No Access

      Book Chapter

      Pages 196-215

      Making Mercury Programs Tail Recursive

    5. No Access

      Book Chapter

      Pages 216-233

      The Replacement Operation for CCP Programs

  7. Verification

    1. No Access

      Book Chapter

      Pages 234-254

      Annotations for Prolog – A Concept and Runtime Handling

    2. No Access

      Book Chapter

      Pages 255-272

      Verification by Testing for Recursive Program Schemes

    3. No Access

      Book Chapter

      Pages 273-292

      Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs

    4. No Access

      Book Chapter

      Pages 293-312

      Context-Moving Transformations for Function Verification

  8. Back Matter

    Pages -