Abstract is missing.
- Should UML Be Used for Declarative Programming?David A. Schmidt. 1-3
- Ideal Models for Pointwise Relational and State-Free Imperative ProgrammingDavid A. Naumann. 4-15
- De Bruijn s Syntax and Reductional Equivalence of Lambda-TermsFairouz Kamareddine, Roel Bloo, Rob Nederpelt. 16-27
- A Denotational Semantics for Timed LindaFrank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo. 28-36
- Model Checking (with) Declarative ProgramsJavier Esparza. 37
- Development Reuse and the Logic Program Derivation of Two String-Matching AlgorithmsManuel Hernández, David A. Rosenblueth. 38-48
- Instruction Merging and Specialization in the SICStus Prolog Virtual MachineHenrik Nässén, Mats Carlsson, Konstantinos F. Sagonas. 49-60
- Polymorphic Directional Types for Logic ProgrammingPawel Rychlikowski, Tomasz Truderung. 61-72
- Termination of Well-Typed Logic ProgramsAnnalisa Bossi, Nicoletta Cocco, Sabina Rossi. 73-81
- Termination of On-Demand Rewriting and Termination of OBJ ProgramsSalvador Lucas. 82-93
- Granularity of Constraint-Based Analysis for JavaByeong-Mo Chang, Jang-Wu Jo. 94-102
- Trust in the Pi-CalculusMark Hepburn, David Wright. 103-114
- When Do Bounds and Domain Propagation Lead to the Same Search Space?Christian Schulte, Peter J. Stuckey. 115-126
- Using Confluence to Generate Rule-Based Constraint SolversSlim Abdennadher, Christophe Rigotti. 127-135
- Types for Cyphers: Thwarting Mischief and Malice with Type TheoryAndrew D. Gordon. 136
- Cycle Therapy: A Prescription for Fold and Unfold on Regular TreesFranklyn A. Turbak, J. B. Wells. 137-149
- Declarative Definition of Group Indexed Data Structures and Approximation of Their DomainsJean-Louis Giavitto, Olivier Michel. 150-161
- Defunctionalization at WorkOlivier Danvy, Lasse R. Nielsen. 162-174
- A Direct Approach to Control-Flow Sensitive Region-Based Memory ManagementFritz Henglein, Henning Makholm, Henning Niss. 175-186
- Parallel Functional Programming at Two Levels of AbstractionRicardo Pena, Fernando Rubio. 187-198
- Constructor-Based Conditional NarrowingSergio Antoy. 199-206
- An Implementation of Narrowing StrategiesSergio Antoy, Michael Hanus, Bart Massey, Frank Steiner. 207-217