Wim Vanhoof, Brigitte Pientka
Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming
PPDP, 2017.

@proceedings{PPDP-2017,
	editor        = "Wim Vanhoof and Brigitte Pientka",
	isbn          = "978-1-4503-5291-8",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming}",
	year          = 2017,
}

Contents (21 items)

PPDP-2017-Abiteboul #data transformation

Issues in ethical data management (SA), p. 1.

PPDP-2017-Gulwani #algorithm #ambiguity #programming

Programming by examples: applications, algorithms, and ambiguity resolution (SG), p. 2.

PPDP-2017-Huisman #parallel #source code #verification

A verification technique for deterministic parallel programs (MH), p. 3.

PPDP-2017-AccattoliB #automaton #complexity

Environments and the complexity of abstract machines (BA, BB), pp. 4–16.

PPDP-2017-AguirreMPP #axiom #smt

Conditional narrowing modulo SMT and axioms (LA, NMO, MP, IP), pp. 17–28.

PPDP-2017-AngelopoulosW #biology #prolog

Accessing biological data as Prolog facts (NA, JW), pp. 29–38.

PPDP-2017-BartakM #attribute grammar #constraints #domain model #framework #modelling #set

Attribute grammars with set attributes and global constraints as a unifying framework for planning domain models (RB, AM), pp. 39–48.

PPDP-2017-BelangerA #exclamation #performance

Shrink fast correctly! (OSB, AWA), pp. 49–60.

PPDP-2017-ChrzaszczS #object-oriented

Function definitions for compound values in object-oriented languages (JC, AS), pp. 61–72.

PPDP-2017-GirkaMR #difference #semantics

Verifiable semantic difference languages (TG, DM, YRG), pp. 73–84.

PPDP-2017-HoweRK #learning #symmetry

Theory learning with symmetry breaking (JMH, ER, AK), pp. 85–96.

PPDP-2017-LaforgueR #metaprogramming #ml #pattern matching

Copattern matching and first-class observations in OCaml, with a macro (PL, YRG), pp. 97–108.

PPDP-2017-MeiklejohnEYBRB #case study #evaluation #experience #programming #scalability

Practical evaluation of the Lasp programming model at large scale: an experience report (CSM, VE, JY, CB, PVR, AB), pp. 109–114.

PPDP-2017-MesnardPV #constraints #logic programming #unification

Selective unification in constraint logic programming (FM, ÉP, GV), pp. 115–126.

PPDP-2017-MezzinaP #approach #consistency

Causally consistent reversible choreographies: a monitors-as-memories approach (CAM, JAP), pp. 127–138.

PPDP-2017-RobinsonL

Machine fusion: merging merges, more or less (AR, BL), pp. 139–150.

PPDP-2017-Sabel #higher-order

Alpha-renaming of higher-order meta-expressions (DS), pp. 151–162.

PPDP-2017-SantoG #λ-calculus

Characterization of strong normalizability for a sequent lambda calculus with co-control (JES, SG), pp. 163–174.

PPDP-2017-Schopp #composition

Defunctionalisation as modular closure conversion (US), pp. 175–186.

PPDP-2017-Ricciotti #calculus

A core calculus for provenance inspection (WR), pp. 187–198.

PPDP-2017-WinantCD #code generation #type safety

Expressive and strongly type-safe code generation (TW, JC, DD), pp. 199–210.