António Porto, Francisco Javier López-Fraguas
Proceedings of the 11th International Conference on Principles and Practice of Declarative Programming
PPDP, 2009.

@proceedings{PPDP-2009,
	address       = "Coimbra, Portugal",
	editor        = "António Porto and Francisco Javier López-Fraguas",
	isbn          = "978-1-60558-568-0",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 11th International Conference on Principles and Practice of Declarative Programming}",
	year          = 2009,
}

Contents (28 items)

4 ×#declarative
4 ×#higher-order
4 ×#source code
3 ×#framework
3 ×#logic
3 ×#semantics
2 ×#algorithm
2 ×#constraints
2 ×#functional
2 ×#linear

PPDP-2009-Vasconcelos #functional #linear #parallel #programming #thread

Session types for linear multithreaded functional programming (VTV), pp. 1–6.

PPDP-2009-Lammel #exclamation #prolog #scrap your boilerplate

Scrap your boilerplate: prologically! (RL), pp. 7–12.

PPDP-2009-SagonasA #automation #erlang #refactoring #source code

Automatic refactoring of Erlang programs (KFS, TA), pp. 13–24.

PPDP-2009-Kobayashi #higher-order #model checking

Model-checking higher-order functions (NK), pp. 25–36.

PPDP-2009-ClericiZ #evaluation

A dynamically customizable process-centered evaluation model (SC, CZ), pp. 37–48.

PPDP-2009-Virseda #algorithm #debugging #declarative #framework #higher-order #logic #source code #verification

A higher-order logical framework for the algorithmic debugging and verification of declarative programs (RdVV), pp. 49–60.

PPDP-2009-DvorakGPW #paradigm #programming

Alternation as a programming paradigm (WD, GG, RP, SW), pp. 61–72.

PPDP-2009-AntoyH #functional #logic programming #set

Set functions for functional logic programming (SA, MH), pp. 73–82.

PPDP-2009-FeltyM #hybrid #reasoning

Reasoning with hypothetical judgments and open terms in hybrid (APF, AM), pp. 83–92.

PPDP-2009-KaiserL #higher-order #traversal

An Isabelle/HOL-based model of stratego-like traversal strategies (MK, RL), pp. 93–104.

PPDP-2009-EastlundF #composition #induction

Making induction manifest in modular ACL2 (CE, MF), pp. 105–116.

PPDP-2009-Aranda-LopezNSS #constraints #database #deduction #fixpoint #implementation #semantics

Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas (GAL, SN, FSP, JSH), pp. 117–128.

PPDP-2009-NigamM #algorithm #linear #logic #specification

Algorithmic specifications in linear logic with subexponentials (VN, DM), pp. 129–140.

PPDP-2009-VlaeminckVD #framework #logic

A logical framework for configuration software (HV, JV, MD), pp. 141–148.

PPDP-2009-IranzoR #declarative #prolog #semantics

A declarative semantics for Bousi~Prolog (PJI, CRM), pp. 149–160.

PPDP-2009-PhanJ #analysis #source code

Path-sensitive region analysis for mercury programs (QP, GJ), pp. 161–170.

PPDP-2009-Tarau #data transformation #declarative #embedded #model transformation #transformation language

An embedded declarative data transformation language (PT), pp. 171–182.

PPDP-2009-GuoZS #consistency #named

L2C2: logic-based LSC consistency checking (HFG, WZ, MS), pp. 183–194.

PPDP-2009-DimoulasPF #contract

Future contracts (CD, RP, MF), pp. 195–206.

PPDP-2009-FalaschiOP #abstract interpretation #concurrent #constraints #framework #source code

A framework for abstract interpretation of timed concurrent constraint programs (MF, CO, CP), pp. 207–218.

PPDP-2009-CastagnaDGP

Foundations of session types (GC, MDC, EG, LP), pp. 219–230.

PPDP-2009-CooperW #calculus

The RPC calculus (EC, PW), pp. 231–242.

PPDP-2009-ZhuDFJMPW #ad hoc #distributed

Language support for processing distributed ad hoc data (KQZ, DSD, KF, LJ, YM, VSP, DW), pp. 243–254.

PPDP-2009-CodishGS #declarative #encoding #satisfiability

A declarative encoding of telecommunications feature subscription in SAT (MC, SG, PJS), pp. 255–266.

PPDP-2009-GabbrielliMM #on the #power of

On the expressive power of priorities in CHR (MG, JM, MCM), pp. 267–276.

PPDP-2009-UnnoK #dependent type #type inference

Dependent type inference with interpolants (HU, NK), pp. 277–288.

PPDP-2009-BiernackaB #proving #termination

Context-based proofs of termination for typed delimited-control operators (MB, DB), pp. 289–300.

PPDP-2009-BentonKBH #higher-order #program transformation #relational #semantics

Relational semantics for effect-based program transformations: higher-order store (NB, AK, LB, MH), pp. 301–312.