Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers

Front Matter....Pages I-XII
Front Matter....Pages 1-1
Analyzing Array Manipulating Programs by Program Transformation....Pages 3-20
Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction....Pages 21-38
Front Matter....Pages 39-39
Confluence Modulo Equivalence in Constraint Handling Rules....Pages 41-58
Exhaustive Execution of CHR Through Source-to-Source Transformation....Pages 59-73
A Formal Semantics for the Cognitive Architecture ACT-R....Pages 74-91
CHRAnimation: An Animation Tool for Constraint Handling Rules....Pages 92-110
Front Matter....Pages 111-111
Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems....Pages 113-130
Front Matter....Pages 131-131
Partial Evaluation for Java Malware Detection....Pages 133-147
Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics....Pages 148-163
Front Matter....Pages 165-165
Concolic Execution and Test Case Generation in Prolog....Pages 167-181
Liveness Properties in CafeOBJ – A Case Study for Meta-Level Specifications....Pages 182-198
Front Matter....Pages 199-199
A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocols....Pages 201-218
Drill and Join: A Method for Exact Inductive Program Synthesis....Pages 219-237
Front Matter....Pages 239-239
Functional Kleene Closures....Pages 241-258
Front Matter....Pages 259-259
On Completeness of Logic Programs....Pages 261-278
Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies....Pages 279-296
Front Matter....Pages 297-297
Declarative Compilation for Constraint Logic Programming....Pages 299-316
Pre-indexed Terms for Prolog....Pages 317-331
Back Matter....Pages 333-333