Danny De Schreye, Gerda Janssens, Andy King
Proceedings of the 14th International Conference on Principles and Practice of Declarative Programming
PPDP, 2012.

@proceedings{PPDP-2012,
	acmid         = "2370776",
	address       = "Leuven, Belgium",
	editor        = "Danny De Schreye and Gerda Janssens and Andy King",
	isbn          = "978-1-4503-1522-7",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 14th International Conference on Principles and Practice of Declarative Programming}",
	year          = 2012,
}

Contents (19 items)

3 ×#linear
3 ×#source code
2 ×#automation
2 ×#functional
2 ×#logic

PPDP-2012-GieslSSEF #evaluation #graph #logic programming #source code #symbolic computation #term rewriting

Symbolic evaluation graphs and term rewriting: a general methodology for analyzing logic programs (JG, TS, PSK, FE, CF), pp. 1–12.

PPDP-2012-Emden #matrix

Matrix code (MvE), pp. 13–24.

PPDP-2012-BacciCFV #automation #first-order #source code #specification #synthesis

Automatic synthesis of specifications for first order curry programs (GB, MC, MAF, AV), pp. 25–34.

PPDP-2012-MarpleBMG #execution #set #source code

Goal-directed execution of answer set programs (KM, AB, RM, GG), pp. 35–44.

PPDP-2012-FilipiukNN #fixpoint #logic

Layered fixed point logic (PF, FN, HRN), pp. 45–54.

PPDP-2012-Madet #multi #polynomial #thread #λ-calculus

A polynomial time λ-calculus with multithreading and side effects (AM), pp. 55–66.

PPDP-2012-LamC #datalog #linear #logic #modelling

Modeling datalog fact assertion and retraction in linear logic (ESLL, IC), pp. 67–78.

PPDP-2012-SulzmannL #regular expression #using

Regular expression sub-matching using partial derivatives (MS, KZML), pp. 79–90.

PPDP-2012-Thielecke #continuation #functional #parsing #recursion #semantics

Functional semantics of parsing actions, and left recursion elimination as continuation passing (HT), pp. 91–102.

PPDP-2012-SchrijversTD #named

Tor: extensible search with hookable disjunction (TS, MT, BD), pp. 103–114.

PPDP-2012-LagoP #call-by #dependent type #linear

Linear dependent types in a call-by-value scenario (UDL, BP), pp. 115–126.

PPDP-2012-Martin-MartinR

Transparent function types: clearing up opacity (EMM, JRH), pp. 127–138.

PPDP-2012-DardhaGS #revisited

Session types revisited (OD, EG, DS), pp. 139–150.

PPDP-2012-JaksicP #exception

Exception handling for copyless messaging (SJ, LP), pp. 151–162.

PPDP-2012-MonjarazM #haskell #π-calculus

From the π-calculus to flat GHC (RM, JM), pp. 163–172.

PPDP-2012-TriossiORF #compilation #hardware #parallel

Compiling CHR to parallel hardware (AT, SO, AR, TWF), pp. 173–184.

PPDP-2012-LopezCC #declarative #distributed #experience #industrial

Declarative distributed advertisement system for iDTV: an industrial experience (ML, LMC, DC), pp. 185–194.

PPDP-2012-PlasmeijerLMAK #functional #programming

Task-oriented programming in a pure functional language (RP, BL, SM, PA, PWMK), pp. 195–206.

PPDP-2012-OlartePRC #approach #automation #concurrent #constraints #linear #verification

A linear concurrent constraint approach for the automatic verification of access permissions (CO, EP, CR, NC), pp. 207–216.