Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
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...
Other Authors: | , |
---|---|
Format: | eBook |
Language: | English |
Published: |
Cham
Springer International Publishing
2015, 2015
|
Edition: | 1st ed. 2015 |
Series: | Theoretical Computer Science and General Issues
|
Subjects: | |
Online Access: | |
Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- Invited Talks
- Obscuring Code: Unveiling and Veiling Information in Programs
- Synthesizing Functions from Relations in Leon
- Program Analysis and Transformation
- Analyzing array manipulating programs by program transformation
- Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction
- Constraint Handling Rules
- Confluence Modulo Equivalence in Constraint Handling Rules
- Exhaustive Execution of CHR through Source-to-Source Transformation
- A Formal Semantics for the Cognitive Architecture ACT-R
- CHRAnimation: An Animation Tool for Constraint Handling Rules
- Termination Analysis
- Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems
- Security.-Partial Evaluation for Java Malware Detection
- Access control and obligations in the category-based metamodel: a rewritebased Semantics
- Program Testing and Verification.-Concolic Execution and Test-Case Generation in Prolog
- Liveness properties in CafeOBJ-a case study for meta-level specifications
- Program Synthesis
- A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocols
- Drill & Join: A method for inductive program synthesis
- Program Derivation
- Functional Kleene Closures
- Semantic Issues in Logic Programming
- On completeness of logic programs
- Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies
- Program Transformation and Optimization
- Declarative Compilation for Constraint Logic Programming
- Pre-indexed Terms for Prolog