Pedro Barahona, Amy P. Felty
Proceedings of the Seventh International Conference on Principles and Practice of Declarative Programming
PPDP, 2005.

@proceedings{PPDP-2005,
	address       = "Lisbon, Portugal",
	editor        = "Pedro Barahona and Amy P. Felty",
	isbn          = "1-59593-090-6",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Seventh International Conference on Principles and Practice of Declarative Programming}",
	year          = 2005,
}

Contents (23 items)

2 ×#abstraction
2 ×#analysis
2 ×#constraints
2 ×#declarative
2 ×#logic programming
2 ×#optimisation
2 ×#protocol
2 ×#security
2 ×#semantics
2 ×#type system

PPDP-2005-HermenegildoALP #abstraction

Abstraction carrying code and resource-awareness (MVH, EA, PLG, GP), pp. 1–11.

PPDP-2005-CortierRZ #encryption #protocol #verification

A resolution strategy for verifying cryptographic protocols with CBC encryption and blind signatures (VC, MR, EZ), pp. 12–22.

PPDP-2005-CraigL #prolog #self

Self-tuning resource aware specialisation for prolog (SJC, ML), pp. 23–34.

PPDP-2005-LopezPPW #concurrent #linear #logic programming #monad

Monadic concurrent linear logic programming (PL, FP, JP, KW), pp. 35–46.

PPDP-2005-FernandezG #abstraction #generative #locality

Nominal rewriting with name generation: abstraction vs. locality (MF, MG), pp. 47–58.

PPDP-2005-ChibaAT #program transformation #term rewriting

Program transformation by templates based on term rewriting (YC, TA, YT), pp. 59–69.

PPDP-2005-Wojciechowski #transaction #type system #version control

Isolation-only transactions by typing and versioning (PTW), pp. 70–81.

PPDP-2005-MandelP #ml #named

ReactiveML: a reactive extension to ML (LM, MP), pp. 82–93.

PPDP-2005-Gabbay #calculus

A new calculus of contexts (MG), pp. 94–105.

PPDP-2005-TombF #automation #partial evaluation #type inference

Automatic type inference via partial evaluation (AT, CF), pp. 106–116.

PPDP-2005-SahaR #analysis #incremental #logic programming #points-to #using

Incremental and demand-driven points-to analysis using logic programming (DS, CRR), pp. 117–128.

PPDP-2005-LiL #unification

Inverting abstract unification for set-sharing (XL, LL), pp. 129–138.

PPDP-2005-Skalka #object-oriented

Trace effects and object orientation (CS), pp. 139–150.

PPDP-2005-Mitchell #analysis #logic #network #protocol #security

Security analysis of network protocols: logical and computational methods (JCM), pp. 151–152.

PPDP-2005-EchahedP #declarative #policy #security

Security policy in a declarative style (RE, FP), pp. 153–163.

PPDP-2005-JagadeesanM #approach #constraints #declarative #programming

Timed constraint programming: a declarative approach to usage control (RJ, WM, CP, VAS), pp. 164–175.

PPDP-2005-LunaPS #compilation #experience #functional

Efficiently compiling a functional language on AMD64: the HiPE experience (DL, MP, KFS), pp. 176–186.

PPDP-2005-KirchnerMR #pattern matching #validation

Formal validation of pattern matching code (CK, PEM, AR), pp. 187–197.

PPDP-2005-CastagnaF #semantics #type system

A gentle introduction to semantic subtyping (GC, AF), pp. 198–199.

PPDP-2005-DelzannoGM #composition #semantics

A compositional semantics for CHR (GD, MG, MCM), pp. 209–217.

PPDP-2005-SchrijversSD #abstract interpretation #constraints

Abstract interpretation for constraint handling rules (TS, PJS, GJD), pp. 218–229.

PPDP-2005-PaluDP #heuristic #optimisation #parallel #predict

Heuristics, optimizations, and parallelism for protein structure prediction in CLP(FD) (ADP, AD, EP), pp. 230–241.

PPDP-2005-GuoJGL #optimisation

Optimization with mode-directed preferences (HFG, BJ, GG, ML), pp. 242–251.