Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers /
Autor Corporativo: | |
---|---|
Otros Autores: | , |
Formato: | eBook |
Lenguaje: | English |
Publicado: |
Cham :
Springer International Publishing : Imprint: Springer,
2017.
|
Edición: | 1st ed. 2017. |
Colección: | Theoretical Computer Science and General Issues ;
10184 |
Materias: |
Tabla de Contenidos:
- Partial Evaluation of Order-sorted Equational Programs modulo Axioms
- A Formal, Resource Consumption-Preserving Translation of Actors to Haskell
- Verification of Time-Aware Business Processes using Constrained Horn Clauses
- MiniZinc with Strings
- Slicing Concurrent Constraint Programs
- A New Functional-Logic Compiler for Curry: Sprite
- lpopt: A Rule Optimization Tool for Answer Set Programming
- Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs
- Hierarchical Shape Abstraction for Analysis of Free List Memory Allocators
- A Productivity Checker for Logic Programming
- Symbolic Abstract Contract Synthesis in a Rewriting Framework
- On the Completeness of Selective Uni_cation in Concolic Testing of Logic Programs
- CurryCheck: Checking Properties of Curry Programs
- A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms
- A Reversible Semantics for Erlang
- Scaling Bounded Model Checking By Transforming Programs With Arrays
- Coinductive Soundness of Corecursive Type Class Resolution
- Nominal Unification of Higher Order Expressions with Recursive Let
- Automata Theory Approach to Predicate Intuitionistic Logic.