Logic-Based Program Synthesis and Transformation

1. Front Matter

   PDF

2. Symbolic Evaluation Graphs and Term Rewriting — A General Methodology for Analyzing Logic Programs

   • Jürgen Giesl, Thomas Ströder, Peter Schneider-Kamp, Fabian Emmes, Carsten Fuhs

   Pages 1-1

3. An Introduction to Search Combinators

   • Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey

   Pages 2-16

4. A Declarative Pipeline Language for Complex Data Analysis

   • Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit

   Pages 17-34

5. Semantic Code Clones in Logic Programs

   • Céline Dandois, Wim Vanhoof

   Pages 35-50

6. Specialization with Constrained Generalization for Software Model Checking

   • Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti

   Pages 51-70

7. Enhancing Declarative Debugging with Loop Expansion and Tree Compression

   • David Insa, Josep Silva, César Tomás

   Pages 71-88

8. XACML 3.0 in Answer Set Programming

   • Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson

   Pages 89-105

9. Types vs. PDGs in Information Flow Analysis

   • Heiko Mantel, Henning Sudbrock

   Pages 106-121

10. Galliwasp: A Goal-Directed Answer Set Solver

    • Kyle Marple, Gopal Gupta

    Pages 122-136

11. Computing More Specific Versions of Conditional Rewriting Systems

    • Naoki Nishida, Germán Vidal

    Pages 137-154

12. Improving Determinization of Grammar Programs for Program Inversion

    • Minami Niwa, Naoki Nishida, Masahiko Sakai

    Pages 155-175

13. A Framework for Guided Test Case Generation in Constraint Logic Programming

    • José Miguel Rojas, Miguel Gómez-Zamalloa

    Pages 176-193

14. Simplifying the Verification of Quantified Array Assertions via Code Transformation

    • Mohamed Nassim Seghir, Martin Brain

    Pages 194-212

15. Proving Properties of Co-logic Programs with Negation by Program Transformations

    • Hirohisa Seki

    Pages 213-227

16. Program Analysis and Manipulation to Reproduce Learners’ Erroneous Reasoning

    • Claus Zinn

    Pages 228-243

17. Back Matter

    PDF

This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012.
The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.

• answer set programming
• constraint logic programming
• declarative debugging
• security type system
• software testing

• Department of Computer Science (DSIC), Complutense University of Madrid, Madrid, Spain

  Elvira Albert

Policies and ethics