Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected PapersMaurizio Proietti, Hirohisa Seki 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. |
Contents
3 | |
Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction | 21 |
Constraint Handling Rules | 39 |
Confluence Modulo Equivalence in Constraint Handling Rules | 40 |
Exhaustive Execution of CHR Through SourcetoSource Transformation | 59 |
A Formal Semantics for the Cognitive Architecture ACTR | 74 |
An Animation Tool for Constraint Handling Rules | 92 |
Termination Analysis | 111 |
Liveness Properties in CafeOBJ A Case Study for MetaLevel Specifications | 182 |
Program Synthesis | 199 |
A Hybrid Method for the Verification and Synthesis of Parameterized SelfStabilizing Protocols | 201 |
A Method for Exact Inductive Program Synthesis | 219 |
Program Derivation | 238 |
Functional Kleene Closures | 241 |
Semantic Issues in Logic Programming | 259 |
On Completeness of Logic Programs | 260 |
Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems | 113 |
Security | 131 |
Partial Evaluation for Java Malware Detection | 132 |
A RewriteBased Semantics | 148 |
Program Testing and Verification | 164 |
Concolic Execution and Test Case Generation in Prolog | 165 |
Case Studies | 279 |
Program Transformation and Optimization | 297 |
Declarative Compilation for Constraint Logic Programming | 299 |
Preindexed Terms for Prolog | 317 |
332 | |
Other editions - View all
Logic-Based Program Synthesis and Transformation: 24th International ... Maurizio Proietti,Hirohisa Seki No preview available - 2015 |
Logic-Based Program Synthesis and Transformation: 24th International ... Maurizio Proietti,Hirohisa Seki No preview available - 2015 |
Common terms and phrases
abstract conjunction abstract interpretation ACT-R Add Weak aggregate algorithm analysis annotation applied approach ARGS array atoms Boolean Boolean algebra buffer built-in CafeOBJ CHR program chr(S chunk clause complete w.r.t. computation concolic execution concrete condition confluence consider Constraint Handling Rules constraint logic programming coroutines corresponding CTRS CTRSs defined Definition denoted domain event example finite formal framework functional programming HasSlot Heidelberg implementation inductive input instantiation Kleene algebra Kleene closure Lemma LNCS logic programs LOPSTR mapping matrices metamodel method module multi/4 node obfuscation obligations operational semantics pairs parameterized partial evaluation persistently true pre-indexing predicate problem processors Prolog proof properties protocol pruning query recursion relation represented segment self-stabilizing sequence specification Springer synthesis target function termination Theorem tion transformed program transition translation variables verification visualization well-founded semantics