Logic-Based Program Synthesis and Transformation : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers / edited by Maurizio Proietti, Hirohisa Seki.

Format:

Book

Contributor:

Proietti, Maurizio, 1959- editor.

Seki, Hirohisa, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

LNCS sublibrary. Theoretical computer science and general issues ; SL 1, 8981.

Theoretical Computer Science and General Issues ; 8981

Language:

English

Subjects (All):

Computer logic.

Software engineering.

Logic, Symbolic and mathematical.

Artificial intelligence.

Computer science--Mathematics.

Computer science.

Logics and Meanings of Programs.

Software Engineering/Programming and Operating Systems.

Mathematical Logic and Formal Languages.

Artificial Intelligence.

Discrete Mathematics in Computer Science.

Local Subjects:

Logics and Meanings of Programs.

Software Engineering/Programming and Operating Systems.

Mathematical Logic and Formal Languages.

Artificial Intelligence.

Discrete Mathematics in Computer Science.

Physical Description:

1 online resource (XII, 333 pages) : 61 illustrations.

Edition:

First edition 2015.

Contained In:

Springer eBooks

Place of Publication:

Cham : Springer International Publishing : Imprint: Springer, 2015.

System Details:

text file PDF

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.

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 and 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.

Other Format:

Printed edition:

ISBN:

978-3-319-17822-6

9783319178226

Access Restriction:

Restricted for use by site license.