Proceedings of the 16th 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

Olaf Chitil, Andy King, Olivier Danvy
Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming
PPDP, 2014.

PLT
DBLP
Scholar
Full names Links ISxN
@proceedings{PPDP-2014,
	acmid         = "2643135",
	address       = "Canterbury, England, United Kingdom",
	editor        = "Olaf Chitil and Andy King and Olivier Danvy",
	isbn          = "978-1-4503-2947-7",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming}",
	year          = 2014,
}

Contents (27 items)

PPDP-2014-LammelVLSF #declarative #development #tutorial
Declarative Software Development: Distilled Tutorial (RL, AV, ML, TS, JMF), pp. 1–6.
PPDP-2014-DouenceT #imperative #programming
Lazier Imperative Programming (RD, NT), pp. 7–18.
PPDP-2014-MehnerSSV #functional #parametricity #proving #theorem
Parametricity and Proving Free Theorems for Functional-Logic Languages (SM, DS, LS, JV), pp. 19–30.
PPDP-2014-Tarau #encoding
Bijective Collection Encodings and Boolean Operations with Hereditarily Binary Natural Numbers (PT), pp. 31–42.
PPDP-2014-CruzRG #design #implementation #linear #logic programming #parallel #source code #thread #virtual machine
Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs (FC, RR, SCG), pp. 43–54.
PPDP-2014-Ilik #continuation #normalisation #proving #tutorial
Proofs in continuation-passing style: normalization of Gödel’s System T extended with sums and delimited control operators: Distilled Tutorial (DI), pp. 55–56.
PPDP-2014-AsaiFTZ #partial evaluation #specification
A Type Theoretic Specification of Partial Evaluation (KA, LF, PT, YZ), pp. 57–68.
PPDP-2014-DownenMAV #continuation #process
Continuations, Processes, and Sharing (PD, LM, ZMA, DV), pp. 69–80.
PPDP-2014-Neron
Elimination of Square Roots and Divisions by Partial Inlining (PN), pp. 81–92.
PPDP-2014-GiavittoE #realtime
Real-Time Matching of Antescofo Temporal Patterns (JLG, JE), pp. 93–104.
PPDP-2014-Karczmarczuk #concept #declarative #on the #quantum
On the Declarative Structure of Quantum Concepts: States and Observables (JK), pp. 105–110.
PPDP-2014-LucasM #declarative #logic #proving #source code #termination
Proving Operational Termination of Declarative Programs in General Logics (SL, JM), pp. 111–122.
PPDP-2014-YangEMMN #encryption #finite #unification
Theories of Homomorphic Encryption, Unification, and the Finite Variant Property (FY, SE, CM, JM, PN), pp. 123–133.
PPDP-2014-ChenDY #on the #precise #type system
On the Preciseness of Subtyping in Session Types (TCC, MDC, NY), pp. 135–146.
PPDP-2014-PachecoZH #bidirectional #functional #named #xml
BiFluX: A Bidirectional Functional Update Language for XML (HP, TZ, ZH), pp. 147–158.
PPDP-2014-NilssonP #declarative #game studies #programming #tutorial
Declarative Game Programming: Distilled Tutorial (HN, IP), pp. 159–160.
PPDP-2014-FerreiraP #bidirectional #source code
Bidirectional Elaboration of Dependently Typed Programs (FF, BP), pp. 161–174.
PPDP-2014-Ramsay #abstraction #recursion #safety
Exact Intersection Type Abstractions for Safety Checking of Recursion Schemes (SJR), pp. 175–186.
PPDP-2014-KranzS #compilation #domain-specific language #functional #integration #legacy #performance
Structure-Preserving Compilation: Efficient Integration of Functional DSLs into Legacy Systems (JK, AS), pp. 187–198.
PPDP-2014-Schopp #low level #source code #using
Organising Low-Level Programs using Higher Types (US), pp. 199–210.
PPDP-2014-Giacobazzi #source code
Unveiling and Veiling Information in Programs (RG), pp. 211–212.
PPDP-2014-Haemmerle #constraints #logic programming #on the
On Combining Backward and Forward Chaining in Constraint Logic Programming (RH), pp. 213–224.
PPDP-2014-StulovaMH #debugging #higher-order #source code
Assertion-based Debugging of Higher-Order (C)LP Programs (NS, JFM, MVH), pp. 225–235.
PPDP-2014-AotoS #induction #proving #theorem
Decision Procedures for Proving Inductive Theorems without Induction (TA, SS), pp. 237–248.
PPDP-2014-JansenDDJ #evaluation #state of the art
Experimental Evaluation of a State-Of-The-Art Grounder (JJ, ID, JD, GJ), pp. 249–258.
PPDP-2014-SchrijversWDD #functional #heuristic #implementation #logic programming #specification
Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation (TS, NW, BD, BD), pp. 259–270.
PPDP-2014-CheneyAA #database #query
Database Queries that Explain their Work (JC, AA, UAA), pp. 271–282.

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.