Logic-Based Program Synthesis and Transformation

1. Front Matter

   Pages I-XII

   PDF

2. Program Analysis and Transformation

   1. Front Matter

      Pages 1-1

      PDF

   2. Analyzing Array Manipulating Programs by Program Transformation

      • J. Robert M. Cornish, Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey

      Pages 3-20

   3. Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction

      • Danny De Schreye, Vincent Nys, Colin Nicholson

      Pages 21-38

3. Constraint Handling Rules

   1. Front Matter

      Pages 39-39

      PDF

   2. Confluence Modulo Equivalence in Constraint Handling Rules

      • Henning Christiansen, Maja H. Kirkeby

      Pages 41-58

   3. Exhaustive Execution of CHR Through Source-to-Source Transformation

      • Ahmed Elsawy, Amira Zaki, Slim Abdennadher

      Pages 59-73

   4. A Formal Semantics for the Cognitive Architecture ACT-R

      • Daniel Gall, Thom Frühwirth

      Pages 74-91

   5. CHRAnimation: An Animation Tool for Constraint Handling Rules

      • Nada Sharaf, Slim Abdennadher, Thom Frühwirth

      Pages 92-110

4. Termination Analysis

   1. Front Matter

      Pages 111-111

      PDF

   2. Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems

      • Salvador Lucas, José Meseguer, Raúl Gutiérrez

      Pages 113-130

5. Security

   1. Front Matter

      Pages 131-131

      PDF

   2. Partial Evaluation for Java Malware Detection

      • Ranjeet Singh, Andy King

      Pages 133-147

   3. Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics

      • Sandra Alves, Anatoli Degtyarev, Maribel Fernández

      Pages 148-163

6. Program Testing and Verification

   1. Front Matter

      Pages 165-165

      PDF

   2. Concolic Execution and Test Case Generation in Prolog

      • Germán Vidal

      Pages 167-181

   3. Liveness Properties in CafeOBJ – A Case Study for Meta-Level Specifications

      • Norbert Preining, Kazuhiro Ogata, Kokichi Futatsugi

      Pages 182-198

7. Program Synthesis

   1. Front Matter

      Pages 199-199

      PDF

   2. A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocols

      • Amer Tahat, Ali Ebnenasir

      Pages 201-218

   3. Drill and Join: A Method for Exact Inductive Program Synthesis

      • Remis Balaniuk

      Pages 219-237

This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2014, held in Canterbury, UK, in September 2014. The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. The papers are organized along a set of thematic tracks: program analysis and transformation, constraint handling rules, termination analysis, security, program testing and verification, program synthesis, program derivation, semantic issues in logic programming and program transformation and optimization.

• Answer set programming
• Constraint logic programming
• Declarative debugging
• Formal methods
• Formal semantics
• Languages
• Logic programming
• Operational semantics
• Program analysis
• Program semantics
• Program synthesis
• Program transformation
• Program verification
• Semantics and reasoning
• Software notation and tools
• Software security
• Software testing
• Static analysis
• Term rewriting systems
• Verification

• IASI-CNR, Rome, Italy

  Maurizio Proietti

• Nagoya Institute of Technology, Nagoya, Japan

  Hirohisa Seki

Policies and ethics