Ekaterina Komendantskaya
Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming
PPDP, 2019.

@proceedings{PPDP-2019,
	doi           = "10.1145/3354166",
	editor        = "Ekaterina Komendantskaya",
	isbn          = "978-1-4503-7249-7",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming}",
	year          = 2019,
}

Contents (21 items)

PPDP-2019-Kobayashi #higher-order #model checking

10 Years of the Higher-Order Model Checking Project (Extended Abstract) (NK0), p. 2.

PPDP-2019-CastagnaDGP #years after

Foundations of Session Types: 10 Years Later (GC, MDC, EG, LP), p. 3.

PPDP-2019-0001S #call-by #evaluation #normalisation #λ-calculus

Normalization by Evaluation for Call-By-Push-Value and Polarized Lambda Calculus (AA0, CS), p. 12.

PPDP-2019-CirsteaM #encoding #term rewriting

Generic Encodings of Constructor Rewriting Systems (HC, PEM), p. 12.

PPDP-2019-Blanco0M #proving #re-engineering #testing

Property-Based Testing via Proof Reconstruction (RB, DM0, AM), p. 13.

PPDP-2019-SteenvoordenNK #formal method #named #programming

TopHat: A formal foundation for task-oriented programming (TS, NN, MK), p. 13.

PPDP-2019-ValliappanR #category theory #combinator #exponential

Exponential Elimination for Bicartesian Closed Categorical Combinators (NV, AR), p. 13.

PPDP-2019-Bakel #exception #logic

Exception Handling and Classical Logic (SvB), p. 14.

PPDP-2019-ChupinN #functional #programming

Functional Reactive Programming, restated (GC, HN), p. 14.

PPDP-2019-CondoluciAC #linear #similarity

Sharing Equality is Linear (AC, BA, CSC), p. 14.

PPDP-2019-FarinaCG #execution #relational #symbolic computation

Relational Symbolic Execution (GPF, SC, MG), p. 14.

PPDP-2019-Kikuchi0S #induction #program transformation #proving #term rewriting #theorem proving

Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation (KK, TA0, IS), p. 14.

PPDP-2019-LippmeierRM #contract

Smart Contracts as Authorized Production Rules (BL, AR, AM), p. 14.

PPDP-2019-0001N #hybrid

An Adequate While-Language for Hybrid Computation (SG0, RN), p. 15.

PPDP-2019-0002BMMZ #non-functional #verification

Type-Driven Verification of Non-functional Properties (CB0, ADB, YM, CM, OZ), p. 15.

PPDP-2019-AccattoliCGC #automaton

Crumbling Abstract Machines (BA, AC, GG, CSC), p. 15.

PPDP-2019-LiuCS #algorithm #distributed #execution #specification

Moderately Complex Paxos Made Simple: High-Level Executable Specification of Distributed Algorithms (YAL, SC, SDS), p. 15.

PPDP-2019-MatesPA

Under Control: Compositionally Correct Closure Conversion with Mutable State (PM, JP, AA), p. 15.

PPDP-2019-Thiemann #semantics

Intrinsically-Typed Mechanized Semantics for Session Types (PT0), p. 15.

PPDP-2019-Gerard0S #functional #programming #syntax

Functional programming with λ-tree syntax (UG, DM0, GS), p. 16.

PPDP-2019-Talbot #composition #programming

Spacetime Programming: A Synchronous Language for Composable Search Strategies (PT), p. 16.