18th International Symposium on
Principles and Practice of Declarative Programming
PPDP 2016

Edinburgh, UK
September 5-7, 2016

co-located with LOPSTR 2016 and SAS 2016 (flyer)
See PPDP main web site for general information on the PPDP Symposia.
o  Invited Speakers
o  Program
o  Attending PPDP 2016
o  Overview of PPDP 2016
o  Program Committee
o  Important Dates
o  Call for Papers
o  Submission Guidelines
o  Journal Special Issue
o  Contacts
o  In Cooperation with
o  Registration & Venue
Castle
Park

Accepted papers

  • Davide Fuscà, Stefano Germano, Jessica Zangari, Marco Anastasio, Francesco Calimeri and Simona Perri. A Framework for Easing the Development of Applications Embedding Answer Set Programming
  • Dimitrios Kouzapas, Ornela Dardha, Roly Perera and Simon Gay. Typechecking Protocols with Mungo and StMungo
  • Joaquin Arias Herrero and Manuel Carro. Description and Evaluation of a Generic Design to Integrate CLP and Tabled Execution
  • Nataliia Stulova, Jose F. Morales and Manuel V. Hermenegildo. Reducing the Overhead of Runtime Checks via Static Analysis
  • Takahiro Nagao and Naoki Nishida. Proving Inductive Validity of Constrained Inequalities
  • Elena Giachino, Ludovic Henrio, Cosimo Laneve and Vincenzo Mastandrea. Actors may synchronize, safely!
  • Frederic Mesnard, Etienne Payet and Wim Vanhoof. Towards a Framework for Algorithm Recognition in Binary Code
  • Jan Midtgaard, Flemming Nielson and Hanne Riis Nielson. Iterated Process Analysis over Lattice-Valued Regular Expressions
  • Nick Benton, Martin Hofmann and Vivek Nigam. Effect-Dependent Transformations for Concurrent Programs
  • Manfred Schmidt-Schauss and David Sabel. Unification of Program Expressions with Recursive Bindings
  • Stefan Fehrenbach and James Cheney. Language-integrated provenance
  • Clara Bertolissi, Jean-Marc Talbot and Didier Villevalois. Analysis of Access Control Policy Updates through Narrowing
  • Sylvia Grewe, Sebastian Erdweg, Michael Raulf and Mira Mezini. Exploration of Language Specifications by Compilation to First-Order Logic
  • Angelos Charalambidis, Panos Rondogiannis and Antonis Troumpoukis. Higher-Order Logic Programming: an Expressive Language for Representing Qualitative Preferences
  • Thomas Ehrhard and Giulio Guerrieri. The bang calculus: an untyped lambda-calculus generalizing Call-By-Name and Call-By-Value
  • Fan Yang, Santiago Escobar, Catherine Meadows, Jose Meseguer and Sonia Santiago. Strand Spaces with Choice via a Process Algebra Semantics
  • Yanhong A. Liu, Jon Brandvein, Scott Stoller and Bo Lin. Demand-Driven Incremental Object Queries

Valid HTML 4.01 Transitional