Logic-based program synthesis and transformation : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised selected papers /
Logic-based program synthesis and transformation : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised selected papers /
LOPSTR 2014
Maurizio Proietti, Hirohisa Seki (eds.).
- 1 online resource (xii, 333 pages) : illustrations
- Lecture notes in computer science, 8981 0302-9743 ; LNCS sublibrary. SL 1, Theoretical computer science and general issues .
- Lecture notes in computer science ; 8981. LNCS sublibrary. SL 1, Theoretical computer science and general issues. .
Includes author index.
Includes bibliographical references and index.
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 toWell-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.
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.
9783319178226 3319178229 3319178210 9783319178219
10.1007/978-3-319-17822-6 doi
com.springer.onix.9783319178226 Springer Nature
GBB8O2583 bnb
019179791 Uk
Logic programming--Congresses.
Computer logic--Congresses.
Computer software--Development--Congresses.
Programmation logique--Congrès.
Logique informatique--Congrès.
Software Engineering.
Mathematical theory of computation.
Artificial intelligence.
Discrete mathematics.
Computer programming--software development.
Computers--Software Development & Engineering--General.
Mathematics--Logic.
Computers--Intelligence (AI) & Semantics.
Computers--Data Processing.
Computers--Programming--General.
Computer logic
Computer software--Development
Logic programming
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
QA76.63 / .L65 2015eb
005.1/15
Includes author index.
Includes bibliographical references and index.
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 toWell-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.
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.
9783319178226 3319178229 3319178210 9783319178219
10.1007/978-3-319-17822-6 doi
com.springer.onix.9783319178226 Springer Nature
GBB8O2583 bnb
019179791 Uk
Logic programming--Congresses.
Computer logic--Congresses.
Computer software--Development--Congresses.
Programmation logique--Congrès.
Logique informatique--Congrès.
Software Engineering.
Mathematical theory of computation.
Artificial intelligence.
Discrete mathematics.
Computer programming--software development.
Computers--Software Development & Engineering--General.
Mathematics--Logic.
Computers--Intelligence (AI) & Semantics.
Computers--Data Processing.
Computers--Programming--General.
Computer logic
Computer software--Development
Logic programming
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
QA76.63 / .L65 2015eb
005.1/15