LOPSTR 2016 Accepted Papers

• Symbolic Abstract Contract Synthesis in a Rewriting Framework. María Alpuente, Daniel Pardo and Alicia Villanueva.
• Coinductive Soundness of Corecursive Type Class Resolution. Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond and Peng Fu.
• MiniZinc with Strings. Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey and Guido Tack.
• On the Completeness of Selective Unification in Concolic Testing of Logic Programs. Fred Mesnard, Etienne Payet and German Vidal.
• Verification of Time-Aware Business Processes using Constrained Horn Clauses. Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi and Maurizio Proietti.
• Tuning Fuzzy Logic Programs with Symbolic Execution. Gines Moreno, Jaime Penabad and German Vidal.
• A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms. Paul Tarau (best paper award).
• A New Functional-Logic Compiler for Curry: Sprite. Sergio Antoy and Andy Jost.
• Towards Reversible Computation in Erlang. Naoki Nishida, Adrian Palacios and German Vidal.
• Slicing Concurrent Constraint Programs. Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte and Catuscia Palamidessi.
• Scaling Bounded Model Checking By Transforming Programs With Arrays. Anushri Jana, Uday Khedker, Advaita Datar, R Venkatesh and Niyas C.
• Hierarchical Shape Abstraction of Free-List Memory Allocators. Bin Fang and Mihaela Sighireanu.
• A Productivity Checker for Logic Programming. Ekaterina Komendantskaya, Patricia Johann and Martin Schmidt.
• Automata Theory Approach to Predicate Intuitionistic Logic. Maciej Zielenkiewicz and Aleksy Schubert.
• Nominal Unification of Higher Order Expressions with Recursive Let. Manfred Schmidt-Schauss, Temur Kutsia, Jordi Levy and Mateu Villaret.
• A Formal, Resource Consumption-Preserving Translation of Actors to Haskell. Elvira Albert, Nikolaos Bezirgiannis, Frank De Boer and Enrique Martin-Martin.
• Partial Evaluation of Order-sorted Equational Programs modulo Axioms. María Alpuente, Angel Cuenca, Santiago Escobar and Jose Meseguer.
• lpopt: A Rule Optimization Tool for Answer Set Programming. Manuel Bichler, Michael Morak and Stefan Woltran.
• CurryCheck: Checking Properties of Curry Programs. Michael Hanus.
• Intuitionistic Logic Programming for SQL. Fernando Saenz-Perez.