## 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)

- 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.