James Cheney, Germán Vidal
Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming
PPDP, 2016.

@proceedings{PPDP-2016,
	doi           = "10.1145/2967973",
	editor        = "James Cheney and Germán Vidal",
	isbn          = "978-1-4503-4148-6",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming}",
	year          = 2016,
}

Contents (19 items)

PPDP-2016-AlbertAG #concurrent #imperative #testing #using

Testing of concurrent and imperative software using CLP (EA, PA, MGZ), pp. 1–8.

PPDP-2016-Morrisett #challenge #compilation #coq

Challenges in compiling Coq (GM), p. 9.

PPDP-2016-AriasC #design #evaluation #execution

Description and evaluation of a generic design to integrate CLP and tabled execution (JA, MC), pp. 10–23.

PPDP-2016-CharalambidisRT #higher-order #logic programming #representation

Higher-order logic programming: an expressive language for representing qualitative preferences (AC, PR, AT), pp. 24–37.

PPDP-2016-FuscaGZACP #development #framework #programming #set

A framework for easing the development of applications embedding answer set programming (DF, SG, JZ, MA, FC, SP), pp. 38–49.

PPDP-2016-NagaoN #induction #proving

Proving inductive validity of constrained inequalities (TN, NN0), pp. 50–61.

PPDP-2016-BertolissiTV #analysis #data access #policy

Analysis of access control policy updates through narrowing (CB, JMT, DV), pp. 62–75.

PPDP-2016-YangEMMS #algebra #process #semantics

Strand spaces with choice via a process algebra semantics (FY, SE, CAM, JM, SS), pp. 76–89.

PPDP-2016-StulovaMH #runtime #static analysis

Reducing the overhead of assertion run-time checks via static analysis (NS, JFM, MVH), pp. 90–103.

PPDP-2016-GreweERM #compilation #first-order #logic #specification

Exploration of language specifications by compilation to first-order logic (SG, SE, MR, MM), pp. 104–117.

PPDP-2016-GiachinoHLM #exclamation

Actors may synchronize, safely! (EG, LH, CL, VM), pp. 118–131.

PPDP-2016-MidtgaardNN #analysis #process #regular expression

Iterated process analysis over lattice-valued regular expressions (JM, FN, HRN), pp. 132–145.

PPDP-2016-KouzapasDPG #protocol

Typechecking protocols with Mungo and StMungo (DK, OD, RP, SJG), pp. 146–159.

PPDP-2016-Schmidt-Schauss #recursion #unification

Unification of program expressions with recursive bindings (MSS, DS), pp. 160–173.

PPDP-2016-EhrhardG #call-by #λ-calculus

The Bang Calculus: an untyped lambda-calculus generalizing call-by-name and call-by-value (TE, GG), pp. 174–187.

PPDP-2016-Benton0N #concurrent #source code

Effect-dependent transformations for concurrent programs (NB, MH0, VN), pp. 188–201.

PPDP-2016-MesnardPV #algorithm #framework #recognition #towards

Towards a framework for algorithm recognition in binary code (FM, ÉP, WV), pp. 202–213.

PPDP-2016-FehrenbachC

Language-integrated provenance (SF, JC), pp. 214–227.

PPDP-2016-LiuBSL #incremental #query

Demand-driven incremental object queries (YAL, JB, SDS, BL), pp. 228–241.