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

✍ Scribed by Maurizio Proietti, Hirohisa Seki (eds.)

• Publisher: Springer International Publishing
• Year: 2015
• Tongue: English
• Leaves: 334
• Series: Lecture Notes in Computer Science 8981
• Edition: 1
• Category: Library

✦ Synopsis

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.

✦ Table of Contents

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

✦ Subjects

Logics and Meanings of Programs; Software Engineering/Programming and Operating Systems; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics); Discrete Mathematics in Computer Science