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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Proietti, Maurizio (Editor ), Seki, Hirohisa (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2015.
Edición:1st ed. 2015.
Colección:Theoretical Computer Science and General Issues, 8981
Temas:
Computer science.
Software engineering.
Machine theory.
Artificial intelligence.
Computer science-Mathematics.
Discrete mathematics.
Computer Science Logic and Foundations of Programming.
Software Engineering.
Formal Languages and Automata Theory.
Artificial Intelligence.
Discrete Mathematics in Computer Science.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares