| 2017 | Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers Manuel V. Hermenegildo, Pedro López-García |
| 2016 | A Formal, Resource Consumption-Preserving Translation of Actors to Haskell. Elvira Albert, Nikolaos Bezirgiannis, Frank S. de Boer, Enrique Martin-Martin |
| 2016 | A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms. Paul Tarau |
| 2016 | A New Functional-Logic Compiler for Curry: Sprite. Sergio Antoy, Andy Jost |
| 2016 | A Productivity Checker for Logic Programming. Ekaterina Komendantskaya, Patricia Johann, Martin Schmidt |
| 2016 | A Reversible Semantics for Erlang. Naoki Nishida, Adrián Palacios, Germán Vidal |
| 2016 | Automata Theory Approach to Predicate Intuitionistic Logic. Maciej Zielenkiewicz, Aleksy Schubert |
| 2016 | Coinductive Soundness of Corecursive Type Class Resolution. Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond |
| 2016 | CurryCheck: Checking Properties of Curry Programs. Michael Hanus |
| 2016 | Hierarchical Shape Abstraction for Analysis of Free List Memory Allocators. Bin Fang, Mihaela Sighireanu |
| 2016 | Intuitionistic Logic Programming for SQL. Fernando Sáenz-Pérez |
| 2016 | MiniZinc with Strings. Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, Guido Tack |
| 2016 | Nominal Unification of Higher Order Expressions with Recursive Let. Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret |
| 2016 | On the Completeness of Selective Unification in Concolic Testing of Logic Programs. Fred Mesnard, Étienne Payet, Germán Vidal |
| 2016 | Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms. María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer |
| 2016 | Scaling Bounded Model Checking by Transforming Programs with Arrays. Anushri Jana, Uday P. Khedker, Advaita Datar, R. Venkatesh, Niyas C |
| 2016 | Slicing Concurrent Constraint Programs. Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi |
| 2016 | Symbolic Abstract Contract Synthesis in a Rewriting Framework. María Alpuente, Daniel Pardo, Alicia Villanueva |
| 2016 | Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs. Ginés Moreno, Jaime Penabad, José A. Riaza, Germán Vidal |
| 2016 | Verification of Time-Aware Business Processes Using Constrained Horn Clauses. Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti |
| 2016 | lpopt: A Rule Optimization Tool for Answer Set Programming. Manuel Bichler, Michael Morak, Stefan Woltran |