Logic-Based Program Synthesis and Transformation

1. Front Matter

   PDF

2. Space Invading Systems Code

   • Cristiano Calcagno, Dino Distefano, Peter O’Hearn, Hongseok Yang

   Pages 1-3

3. Test Data Generation of Bytecode by CLP Partial Evaluation

   • Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla

   Pages 4-23

4. A Modular Equational Generalization Algorithm

   • María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda

   Pages 24-39

5. A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs

   • Gustavo Arroyo, J. Guadalupe Ramos, Salvador Tamarit, Germán Vidal

   Pages 40-54

6. Analysis of Linear Hybrid Systems in CLP

   • Gourinath Banda, John P. Gallagher

   Pages 55-70

7. Automatic Generation of Test Inputs for Mercury

   • François Degrave, Tom Schrijvers, Wim Vanhoof

   Pages 71-86

8. Analytical Inductive Functional Programming

   • Emanuel Kitzelmann

   Pages 87-102

9. The MEB and CEB Static Analysis for CSP Specifications

   • Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit

   Pages 103-118

10. Fast Offline Partial Evaluation of Large Logic Programs

    • Michael Leuschel, Germán Vidal

    Pages 119-134

11. An Inference Algorithm for Guaranteeing Safe Destruction

    • Manuel Montenegro, Ricardo Peña, Clara Segura

    Pages 135-151

12. From Monomorphic to Polymorphic Well-Typings and Beyond

    • Tom Schrijvers, Maurice Bruynooghe, John P. Gallagher

    Pages 152-167

13. On Negative Unfolding in the Answer Set Semantics

    • Hirohisa Seki

    Pages 168-184

14. Back Matter

    PDF

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. The 11 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.

• automatic testing
• bytecode
• csp
• functional programming
• inference algorithms
• logic programming
• optimization
• partial evaluation
• polymorphism
• polyvariant BTA
• software architecture
• software engineering
• verification

• Institut für Informatik, Christian-Albrechts-Universität Kiel, Kiel, Germany

  Michael Hanus

Policies and ethics