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)

4 ×#concurrent
4 ×#verification
3 ×#logic programming
3 ×#semantics
3 ×#source code
2 ×#abstract interpretation
2 ×#automation
2 ×#constraints
2 ×#debugging
2 ×#declarative

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.