David Sabel, Peter Thiemann 0001
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming
PPDP, 2018.

@proceedings{PPDP-2018,
	editor        = "David Sabel and Peter Thiemann 0001",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming}",
	year          = 2018,
}

Contents (25 items)

PPDP-2018-Gardner #framework #javascript #named #testing #verification

JaVerT: JavaScript Verification and Testing Framework: Invited Talk (PG), p. 4.

PPDP-2018-Shan

Calculating Distributions (CcS), p. 5.

PPDP-2018-Benton #bytecode #equivalence #semantics

Semantic Equivalence Checking for HHVM Bytecode (NB), p. 8.

PPDP-2018-DangK #encryption #named

Verse: An EDSL for Cryptographic Primitives (AD, PPK), p. 9.

PPDP-2018-GreweEPM #automation #framework #proving #theorem proving

System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers (SG, SE, AP, MM), p. 10.

PPDP-2018-NogatzKS #definite clause grammar #prolog #using #visualisation

Web-based Visualisation for Definite Clause Grammars Using Prolog Meta-Interpreters: System Description (FN, JK, DS), p. 10.

PPDP-2018-BarenbaumBM #call-by #fixpoint #pattern matching

Pattern Matching and Fixed Points: Resource Types and Strong Call-By-Need: Extended Abstract (PB, EB, KM), p. 12.

PPDP-2018-BendkowskiL #combinator

Combinatorics of Explicit Substitutions (MB, PL), p. 12.

PPDP-2018-PardoGPV #approach #compilation

An Internalist Approach to Correct-by-Construction Compilers (AP, EG, MP, MV), p. 12.

PPDP-2018-AnnenkovE #compilation #contract

Certified Compilation of Financial Contracts (DA, ME), p. 13.

PPDP-2018-BreuvartL #on the #probability #λ-calculus

On Intersection Types and Probabilistic Lambda Calculi (FB, UDL), p. 13.

PPDP-2018-Hanus #declarative #source code #verification

Verifying Fail-Free Declarative Programs (MH), p. 13.

PPDP-2018-KlemenS0MH #performance #runtime #source code

Static Performance Guarantees for Programs with Runtime Checks (MK, NS, PLG0, JFM, MVH), p. 13.

PPDP-2018-NadathurW #morphism #polymorphism #proving

Schematic Polymorphism in the Abella Proof Assistant (GN, YW), p. 13.

PPDP-2018-NishidaI #contract #nondeterminism

Nondeterministic Manifest Contracts (YN0, AI), p. 13.

PPDP-2018-RozplokhasB #relational

Improving Refutational Completeness of Relational Search via Divergence Test (DR, DB), p. 13.

PPDP-2018-SakanashiS #combinator #constraints #optimisation #problem #sql

Transformation of Combinatorial Optimization Problems Written in Extended SQL into Constraint Problems (GS, MS), p. 13.

PPDP-2018-Schmidt-Schauss #concurrent #functional #parallel #programming language

Sequential and Parallel Improvements in a Concurrent Functional Programming Language (MSS, DS, ND), p. 13.

PPDP-2018-SulzmannS #dynamic analysis #message passing #source code

Two-Phase Dynamic Analysis of Message-Passing Go Programs Based on Vector Clocks (MS, KS), p. 13.

PPDP-2018-Terao #abstraction #higher-order #lazy evaluation #verification

Lazy Abstraction for Higher-Order Program Verification (TT), p. 13.

PPDP-2018-MadsenL #logic programming #parametricity

Implicit Parameters for Logic Programming (MM, OL), p. 14.

PPDP-2018-SantosMGDG #execution #javascript #symbolic computation

Symbolic Execution for JavaScript (JFS, PM, TG, JD, PG), p. 14.

PPDP-2018-SeidlV #top-down

Three Improvements to the Top-Down Solver (HS, RV), p. 14.

PPDP-2018-AdelsbergerSW #consistency #declarative #user interface

Declarative GUIs: Simple, Consistent, and Verified (SA, AS, EW), p. 15.

PPDP-2018-ContrastinOR #automation #data flow #datalog #order #safety

Automatic Reordering for Dataflow Safety of Datalog (MC, DAO, ACR), p. 17.