## Moreno Falaschi, Elvira Albert

*Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming*

PPDP, 2015.

@proceedings{PPDP-2015, acmid = "2790449", address = "Siena, Italy", editor = "Moreno Falaschi and Elvira Albert", isbn = "978-1-4503-3516-4", publisher = "{ACM}", title = "{Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming}", year = 2015, }

### Contents (24 items)

- PPDP-2015-Cousot #abstract interpretation #induction #verification
- Verification by abstract interpretation, soundness and abstract induction (PC), pp. 1–4.
- PPDP-2015-Hofmann #analysis #automation
- Automatic amortized analysis (MH), p. 5.
- PPDP-2015-MandelPP #ml #years after
- ReactiveML, ten years later (LM, CP, MP), pp. 6–17.
- PPDP-2015-Miller #logic programming #proving
- Proof checking and logic programming (DM), p. 18.
- PPDP-2015-Al-HumaimeedyF #multi #specification #verification
- Enhancing the specification and verification techniques of multiparty sessions in SOC (ASAH, MF), pp. 19–30.
- PPDP-2015-BartakDZ #logic programming #modelling #on the #problem
- On modeling planning problems in tabled logic programming (RB, AD, NFZ), pp. 31–42.
- PPDP-2015-Brock-Nannestad #logic
- Computation in focused intuitionistic logic (TBN, NG, DG), pp. 43–54.
- PPDP-2015-CaballeroGS #constraints #datalog #debugging #source code
- Debugging of wrong and missing answers for datalog programs with constraint handling rules (RC, YGR, FSP), pp. 55–66.
- PPDP-2015-CanoRLP #concurrent #declarative
- Declarative interpretations of session-based concurrency (MC, CR, HAL, JAP), pp. 67–78.
- PPDP-2015-ChenLJZL #automation #declarative #network #safety #source code #verification
- Automated verification of safety properties of declarative networking programs (CC, LKL, LJ, WZ, BTL), pp. 79–90.
- PPDP-2015-AngelisFPP #generative #semantics #verification
- Semantics-based generation of verification conditions by program specialization (EDA, FF, AP, MP), pp. 91–102.
- PPDP-2015-Fruhwirth #recursion #termination
- A devil’s advocate against termination of direct recursion (TWF), pp. 103–113.
- PPDP-2015-GallF #formal method #semantics
- A refined operational semantics for ACT-R: investigating the relations between different ACT-R formalizations (DG, TWF), pp. 114–124.
- PPDP-2015-GarciaLL #static analysis
- Static analysis of cloud elasticity (AG, CL, ML), pp. 125–136.
- PPDP-2015-GiantsiosPS #functional #testing
- Concolic testing for functional languages (AG, NSP, KFS), pp. 137–148.
- PPDP-2015-GrandeBS #concurrent #library #thread
- Jthread, a deadlock-free mutex library (JG, GB, MS), pp. 149–160.
- PPDP-2015-HaarPRV #algebra #concurrent #logic
- An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic (SH, SP, CR, FDV), pp. 161–172.
- PPDP-2015-MartinezFS #constraints
- Search by constraint propagation (TM, FF, SS), pp. 173–183.
- PPDP-2015-MeiklejohnR #coordination #distributed #named #programming
- Lasp: a language for distributed, coordination-free programming (CM, PVR), pp. 184–195.
- PPDP-2015-RivasJS #monad
- From monoids to near-semirings: the essence of MonadPlus and alternative (ER, MJ, TS), pp. 196–207.
- PPDP-2015-RondogiannisT #logic programming #using
- Expressing preferences in logic programming using an infinite-valued logic (PR, AT), pp. 208–219.
- PPDP-2015-Schmidt-Schauss #call-by #functional #semantics
- Improvements in a functional core language with call-by-need operational semantics (MSS, DS), pp. 220–231.
- PPDP-2015-StievenartNMR #abstract interpretation #concurrent #debugging #detection #higher-order #source code
- Detecting concurrency bugs in higher-order programs through abstract interpretation (QS, JN, WDM, CDR), pp. 232–243.
- PPDP-2015-Tarau #combinator #on the #representation
- On a uniform representation of combinators, arithmetic, λ terms and types (PT), pp. 244–255.

4 ×#concurrent

4 ×#verification

3 ×#logic programming

3 ×#semantics

3 ×#source code

2 ×#abstract interpretation

2 ×#automation

2 ×#constraints

2 ×#debugging

2 ×#declarative

4 ×#verification

3 ×#logic programming

3 ×#semantics

3 ×#source code

2 ×#abstract interpretation

2 ×#automation

2 ×#constraints

2 ×#debugging

2 ×#declarative