Proceedings of the Second International Conference on Principles and Practice of Declarative Programming
PPDP, 2000.

@proceedings{PPDP-2000,
	title         = "{Proceedings of the Second International Conference on Principles and Practice of Declarative Programming}",
	year          = 2000,
}

Contents (29 items)

6 ×#logic programming
4 ×#logic
4 ×#semantics
4 ×#source code
3 ×#analysis
3 ×#constraints
3 ×#linear
3 ×#performance
3 ×#programming
3 ×#proving

PPDP-2000-Panangaden #logic #probability #process

From logic to stochastic processes (PP), pp. 1–2.

PPDP-2000-PediciniQ #implementation #parallel #reduction #λ-calculus

A parallel implementation for optimal λ-calculus reduction (MP, FQ), pp. 3–14.

PPDP-2000-PowerR #abstraction #logic

Logical relations, data abstraction, and structured fibrations (JP, ER), pp. 15–23.

PPDP-2000-Rocca #semantics

Operational semantics and extensionality (SRDR), pp. 24–31.

PPDP-2000-JohanssonPS #erlang #performance

A high performance Erlang system (EJ, MP, KFS), pp. 32–43.

PPDP-2000-Fages #concurrent #constraints #linear #logic #programming

Concurrent constraint programming and linear logic (FF), p. 44.

PPDP-2000-Giavitto #data type #framework #recursion

A framework for the recursive definition of data structures (JLG), pp. 45–55.

PPDP-2000-Elliott #declarative #programming

Declarative event-oriented programming (CE), pp. 56–67.

PPDP-2000-Polakow #linear #logic programming #order

Linear logic programming with an ordered context (JP), pp. 68–79.

PPDP-2000-Faggian #calculus #clustering #commutative #proving

Proof construction and non-commutativity: a cluster calculus (CF), pp. 80–91.

PPDP-2000-BozzanoDM #bottom-up #linear #logic programming #semantics #source code

A bottom-up semantics for linear logic programs (MB, GD, MM), pp. 92–102.

PPDP-2000-BagnaraZH #analysis #evaluation

Enhanced sharing analysis techniques: a comprehensive evaluation (RB, EZ, PMH), pp. 103–114.

PPDP-2000-GiacobazziM #semantics #symmetry

A characterization of symmetric semantics by domain complementation (RG, IM), pp. 115–126.

PPDP-2000-PierroW #abstract interpretation #concurrent #constraints #probability #programming #towards

Concurrent constraint programming: towards probabilistic abstract interpretation (ADP, HW), pp. 127–138.

PPDP-2000-Gramlich #preprocessor #proving #term rewriting #termination

Simplifying termination proofs for rewrite systems by preprocessing (BG), pp. 139–150.

PPDP-2000-BakewellR #lazy evaluation

A model for comparing the space usage of lazy evaluators (AB, CR), pp. 151–162.

PPDP-2000-Ayala-RinconK #unification

Unification via se-style of explicit substitution (MAR, FK), pp. 163–174.

PPDP-2000-Necula #design #implementation

Proof-carrying code: design, implementation and applications (GCN), pp. 175–177.

PPDP-2000-RoychoudhuryRR #proving #using

Justifying proofs using memo tables (AR, CRR, IVR), pp. 178–189.

PPDP-2000-CalcagnoIO #alias #analysis #hoare #logic #pointer #semantics

Semantic analysis of pointer aliasing, allocation and disposal in Hoare logic351292 (CC, SSI, PWO), pp. 190–201.

PPDP-2000-HanusS #functional #logic programming #nondeterminism #source code #type system

Type-based nondeterminism checking in functional logic programs (MH, FS), pp. 202–213.

PPDP-2000-Lu #analysis #logic programming #precise #source code

A precise type analysis of logic programs (LL), pp. 214–225.

PPDP-2000-KollerM #abstract interpretation #component #morphism #performance #using

Efficient abstract interpretation using component-wise homomorphisms (JK, MM), pp. 226–234.

PPDP-2000-PelovB #constraints #logic programming

Extending constraint logic programming with open functions (NP, MB), pp. 235–244.

PPDP-2000-Li #memory management #performance #prolog #stack

Efficient memory management in a merged heap/stack prolog machine (XL), pp. 245–256.

PPDP-2000-TodoranP #continuation #logic programming #parallel

Continuations for parallel logic programming (ET, NP), pp. 257–267.

PPDP-2000-LeuschelL #deduction #petri net #problem

Solving coverability problems of petri nets by partial deduction (ML, HL), pp. 268–279.

PPDP-2000-HylandP #sketching #symmetry

Symmetric monoidal sketches (MH, JP), pp. 280–288.

PPDP-2000-HamonP #composition #data flow #source code

Modular resetting of synchronous data-flow programs (GH, MP), pp. 289–300.