| 2016 | A framework for easing the development of applications embedding answer set programming. Davide Fuscà, Stefano Germano, Jessica Zangari, Marco Anastasio, Francesco Calimeri, Simona Perri |
| 2016 | Actors may synchronize, safely! Elena Giachino, Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea |
| 2016 | Analysis of access control policy updates through narrowing. Clara Bertolissi, Jean-Marc Talbot, Didier Villevalois |
| 2016 | Challenges in compiling Coq. Greg Morrisett |
| 2016 | Demand-driven incremental object queries. Yanhong A. Liu, Jon Brandvein, Scott D. Stoller, Bo Lin |
| 2016 | Description and evaluation of a generic design to integrate CLP and tabled execution. Joaquín Arias, Manuel Carro |
| 2016 | Effect-dependent transformations for concurrent programs. Nick Benton, Martin Hofmann, Vivek Nigam |
| 2016 | Exploration of language specifications by compilation to first-order logic. Sylvia Grewe, Sebastian Erdweg, Michael Raulf, Mira Mezini |
| 2016 | Higher-order logic programming: an expressive language for representing qualitative preferences. Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis |
| 2016 | Iterated process analysis over lattice-valued regular expressions. Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson |
| 2016 | Language-integrated provenance. Stefan Fehrenbach, James Cheney |
| 2016 | Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016 James Cheney, Germán Vidal |
| 2016 | Proving inductive validity of constrained inequalities. Takahiro Nagao, Naoki Nishida |
| 2016 | Reducing the overhead of assertion run-time checks via static analysis. Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo |
| 2016 | Strand spaces with choice via a process algebra semantics. Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago |
| 2016 | Testing of concurrent and imperative software using CLP. Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa |
| 2016 | The Bang Calculus: an untyped lambda-calculus generalizing call-by-name and call-by-value. Thomas Ehrhard, Giulio Guerrieri |
| 2016 | Towards a framework for algorithm recognition in binary code. Frédéric Mesnard, Étienne Payet, Wim Vanhoof |
| 2016 | Typechecking protocols with Mungo and StMungo. Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay |
| 2016 | Unification of program expressions with recursive bindings. Manfred Schmidt-Schauß, David Sabel |