Proceedings of the 11th International Conference on Principles and Practice of Declarative Programming
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

PLT
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.