Logic-based program synthesis and transformation [electronic resource] : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised selected papers / Maurizio Proietti, Hirohisa Seki (eds.).
LOPSTR (Symposium) (24th : 2014 : Canterbury, England); Proietti, Maurizio, 1959- editor.; Seki, Hirohisa, editor.
2015
QA76.63 .L65 2015eb
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Logic-based program synthesis and transformation [electronic resource] : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised selected papers / Maurizio Proietti, Hirohisa Seki (eds.).
Meeting Name LOPSTR (Symposium) (24th : 2014 : Canterbury, England)
ISBN 9783319178226 electronic book
3319178229 electronic book
9783319178219
DOI https://doi.org/10.1007/978-3-319-17822-6
Published Cham : Springer, 2015.
Language English
Description 1 online resource (xii, 333 pages) : illustrations.
Item Number 10.1007/978-3-319-17822-6 doi
Call Number QA76.63 .L65 2015eb
Dewey Decimal Classification 005.1/15
Summary 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.
Note Includes author index.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed May 5, 2015).
Added Author Proietti, Maurizio, 1959- editor.
Seki, Hirohisa, editor.
Series Lecture notes in computer science ; 8981.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export