Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

PLT
DBLP
Scholar
DOI
Full names Links ISxN
@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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.