arXiv:1608.02534v1 [cs.PL] 8 Aug 2016
Pre-proceedings of the 26th International Symposium on
Logic-Based Program Synthesis and Transformation (LOPSTR 2016)
This volume constitutes the pre-proceedings of the 26th International
Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR
2016),
held on 6-8th September 2016 in Edinburgh, Scotland UK, and
co-located with the 18th International Symposium on Principles and
Practice of Declarative
Programming (PPDP 2016) and the 23rd Static
Analysis Symposium (SAS 2016). After discussion at the symposium
papers will go through a second round of
refereeing and selection for the formal proceedings.
Editors: Manuel V. Hermenegildo and Pedro Lopez-Garcia.
- Symbolic Abstract Contract Synthesis in a Rewriting Framework
- María Alpuente, Daniel Pardo and Alicia Villanueva
(paper
LOPSTR/2016/1
)
- Coinductive Soundness of Corecursive Type Class Resolution
- Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond and Peng Fu
(paper
LOPSTR/2016/2
)
- MiniZinc with Strings
- Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey and Guido Tack
(paper
LOPSTR/2016/7
)
- On the Completeness of Selective Unification in Concolic Testing of Logic Programs
- Fred Mesnard, Etienne Payet and German Vidal
(paper
LOPSTR/2016/12
)
- Verification of Time-Aware Business Processes using Constrained Horn Clauses
- Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi and Maurizio Proietti
(paper
LOPSTR/2016/14
)
- Tuning Fuzzy Logic Programs with Symbolic Execution
- Gines Moreno, Jaime Penabad and German Vidal
(paper
LOPSTR/2016/15
)
- A Hiking Trip Through the Orders of Magnitude: Deriving Efficient
Generators for Closed Simply-Typed Lambda Terms and Normal Forms
- Paul Tarau
(paper
LOPSTR/2016/16
)
- A New Functional-Logic Compiler for Curry: Sprite
- Sergio Antoy and Andy Jost
(paper
LOPSTR/2016/17
)
- Towards Reversible Computation in Erlang
- Naoki Nishida, Adrian Palacios and German Vidal
(paper
LOPSTR/2016/20
)
- Slicing Concurrent Constraint Programs
- Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte and Catuscia Palamidessi
(paper
LOPSTR/2016/21
)
- Scaling Bounded Model Checking By Transforming Programs With Arrays
- Anushri Jana, Uday Khedker, Advaita Datar, R Venkatesh and Niyas C.
(paper
LOPSTR/2016/23
)
- Hierarchical Shape Abstraction of Free-List Memory Allocators
- Bin Fang and Mihaela Sighireanu
(paper
LOPSTR/2016/26
)
- A Productivity Checker for Logic Programming
- Ekaterina Komendantskaya, Patricia Johann and Martin Möhrmann
(paper
LOPSTR/2016/31
)
- Automata Theory Approach to Predicate Intuitionistic Logic
- Maciej Zielenkiewicz and Aleksy Schubert
(paper
LOPSTR/2016/32
)
- Nominal Unification of Higher Order Expressions with Recursive Let
- Manfred Schmidt-Schauss, Temur Kutsia, Jordi Levy and Mateu Villaret
(paper
LOPSTR/2016/34
)
- A Formal, Resource Consumption-Preserving Translation of Actors to Haskell
- Elvira Albert, Nikolaos Bezirgiannis, Frank De Boer and Enrique Martin-Martin
(paper
LOPSTR/2016/35
)
- Partial Evaluation of Order-sorted Equational Programs modulo Axioms
- María Alpuente, Angel Cuenca, Santiago Escobar and Jose Meseguer
(paper
LOPSTR/2016/38
)
- lpopt: A Rule Optimization Tool for Answer Set Programming
- Manuel Bichler, Michael Morak and Stefan Woltran
(paper
LOPSTR/2016/40
)
- CurryCheck: Checking Properties of Curry Programs
- Michael Hanus
(paper
LOPSTR/2016/43
)
- Intuitionistic Logic for SQL
- Fernando Saenz-Perez
(paper
LOPSTR/2016/44
)