Logic Based Program Synthesis and Transformation

15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

Editors:

ISBN: 978-3-540-32654-0 (Print) 978-3-540-32656-4 (Online)

Table of contents (11 chapters)

  1. Front Matter

    Pages -

  2. Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM

    1. No Access

      Book Chapter

      Pages 1-5

      Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM

  3. Tools for Program Development

    1. No Access

      Book Chapter

      Pages 6-22

      Declarative Programming with Function Patterns

    2. No Access

      Book Chapter

      Pages 23-43

      Transformational Verification of Parameterized Protocols Using Array Formulas

    3. No Access

      Book Chapter

      Pages 44-60

      Design and Implementation of \({\mathcal A}_T\) : A Real-Time Action Description Language

  4. Program Transformations

    1. No Access

      Book Chapter

      Pages 61-79

      An Algorithm for Local Variable Elimination in Normal Logic Programs

    2. No Access

      Book Chapter

      Pages 80-97

      Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs

    3. No Access

      Book Chapter

      Pages 98-114

      Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives

    4. No Access

      Book Chapter

      Pages 115-132

      Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates

  5. Software Development and Program Analysis

    1. No Access

      Book Chapter

      Pages 133-146

      A Transformational Semantics of Static Embedded Implications of Normal Logic Programs

    2. No Access

      Book Chapter

      Pages 147-162

      Converting One Type-Based Abstract Domain to Another

    3. No Access

      Book Chapter

      Pages 163-178

      Experiments in Context-Sensitive Analysis of Modular Programs

  6. Back Matter

    Pages -