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...
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | , |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Cham :
Springer International Publishing : Imprint: Springer,
2015.
|
Σειρά: | Lecture Notes in Computer Science,
8981 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.