Eugenio Moggi, David Scott Warren
Proceedings of the Sixth International Conference on Principles and Practice of Declarative Programming
PPDP, 2004.

@proceedings{PPDP-2004,
	address       = "Verona, Italy",
	editor        = "Eugenio Moggi and David Scott Warren",
	isbn          = "1-58113-819-9",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Sixth International Conference on Principles and Practice of Declarative Programming}",
	year          = 2004,
}

Contents (25 items)

3 ×#constraints
3 ×#declarative
2 ×#calculus
2 ×#lazy evaluation
2 ×#logic programming
2 ×#multi
2 ×#named
2 ×#programming
2 ×#semantics
2 ×#source code

PPDP-2004-BeyerCHJM #query #verification

Invited talk: the blast query language for software verification (DB, AC, TAH, RJ, RM), pp. 1–2.

PPDP-2004-McIlraith #declarative #programming #towards #web #web service

Invited talk: towards declarative programming for web services (SAM), pp. 3–4.

PPDP-2004-Morrisett #question #what

Invited talk: what’s the future for proof-carrying code? (JGM), p. 5.

PPDP-2004-Shapiro #injection

Invited talk: injecting life with computers (EYS), p. 6.

PPDP-2004-Smaragdakis #generative #tool support

Invited talk: program generators and the tools to make them (YS), pp. 7–8.

PPDP-2004-ClevaLL #approach #functional #logic programming #source code #verification

A logic programming approach to the verification of functional-logic programs (JMC, JL, FJLF), pp. 9–19.

PPDP-2004-FarwerL #model checking #petri net #prolog

Model checking object petri nets in prolog (BF, ML), pp. 20–31.

PPDP-2004-KrsticM #semantics

Semantics of the reFLect language (SK, JM), pp. 32–42.

PPDP-2004-Lopez-FraguasRV #calculus #constraints #declarative #lazy evaluation #programming

A lazy narrowing calculus for declarative constraint programming (FJLF, MRA, RdVV), pp. 43–54.

PPDP-2004-CamaraoFV #constraints #satisfiability

Constraint-set satisfiability for overloading (CC, LF, CV), pp. 67–77.

PPDP-2004-SagonasS

Just enough tabling (KFS, PJS), pp. 78–89.

PPDP-2004-ZhouSS #evaluation #linear

Semi-naive evaluation in linear tabling (NFZ, YDS, TS), pp. 90–97.

PPDP-2004-FlescaGZ #constraints

Active integrity constraints (SF, SG, EZ), pp. 98–107.

PPDP-2004-FernandezGM #term rewriting

Nominal rewriting systems (MF, MG, IM), pp. 108–119.

PPDP-2004-MarinM #lazy evaluation

New completeness results for lazy conditional narrowing (MM, AM), pp. 120–131.

PPDP-2004-CarlierW #type inference

Type inference with expansion variables and intersection types in system E and an exact correspondence with β-reduction (SC, JBW), pp. 132–143.

PPDP-2004-AntoyJ #formal method #implementation

Formalization and abstract implementation of rewriting with nested rules (SA, SJ), pp. 144–154.

PPDP-2004-DoughertyGL #normalisation

Characterizing strong normalization in a language with control operators (DJD, SG, PL), pp. 155–166.

PPDP-2004-LiquoriS #calculus #imperative #named

iRho: an imperative rewriting calculus (LL, BPS), pp. 167–178.

PPDP-2004-BrasselHHV #declarative #multi #semantics #source code

A semantics for tracing declarative multi-paradigm programs (BB, MH, FH, GV), pp. 179–190.

PPDP-2004-HondaY #composition #higher-order #logic #polymorphism

A compositional logic for polymorphic higher-order functions (KH, NY), pp. 191–202.

PPDP-2004-SerranoBS #thread

Scheme fair threads (MS, FB, BPS), pp. 203–214.

PPDP-2004-BentonKR #experience

Adventures in interoperability: the SML.NET experience (NB, AK, CVR), pp. 215–226.

PPDP-2004-RajeshJ #design pattern #named #refactoring

JIAD: a tool to infer design patterns in refactoring (JR, DJ), pp. 227–237.

PPDP-2004-GrecoGSS #datalog #logic programming #multi #programming language #reasoning

Event choice datalog: a logic programming language for reasoning in multiple dimensions (GG, AG, DS, FS), pp. 238–249.