Abstract is missing.
- Some Practical Problems and Their Influence on SemanticsCliff B. Jones. 1-17
- Compiling Haskell by Program Transformation: A Report from the TrenchesSimon L. Peyton Jones. 18-44
- Narrowing-Driven Partial Evaluation of Functional Logic ProgramsMaría Alpuente, Moreno Falaschi, Germán Vidal. 45-61
- A Multiple-Valued Logical Semantics for PrologRoberto Barbuti, Paolo Mancarella. 62-76
- Removing Value Encoding Using Alternative Values in Partial Evaluation of Strongly-Typed LanguagesDenis Béchet. 77-91
- A Complete Transformational Toolkit for CompilersJan A. Bergstra, T. B. Dinesh, John Field, Jan Heering. 92-107
- Global Analysis of Standard Prolog ProgramsFrancisco Bueno, Daniel Cabeza Gras, Manuel V. Hermenegildo, Germán Puebla. 108-124
- Static Detection of Pointer Errors: An Axiomatisation and a Checking AlgorithmPascal Fradet, Ronan Caugne, Daniel Le Métayer. 125-140
- Compositional Optimization of Disjunctive Abstract InterpretationsRoberto Giacobazzi, Francesco Ranzato. 141-155
- A Rewriting Logic for Declarative ProgrammingJuan Carlos González Moreno, Maria Teresa Hortalá-González, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo. 156-172
- Durations for Truly-Concurrent TransitionsEric Goubault. 173-187
- Flow Analysis in the Geometry of InteractionThomas P. Jensen, Ian Mackie. 188-203
- Parametricity and Unboxing with Unpointed TypesJohn Launchbury, Ross Paterson. 204-218
- Modular Denotational Semantics for Compiler ConstructionSheng Liang, Paul Hudak. 219-234
- Compositional Semantics of Non-Deterministic Synchronous LanguagesFlorence Maraninchi, Nicolas Halbwachs. 235-249
- Checking System Properties via Integer ProgrammingStephan Melzer, Javier Esparza. 250-264
- Efficient Minimization up to Location EquivalenceUgo Montanari, Marco Pistore, Daniel Yankelevich. 265-279
- A New Approach to Compiling Adaptive ProgramsJens Palsberg, Boaz Patt-Shamir, Karl J. Lieberherr. 280-295
- Mode and Termination Checking for Higher-Order Logic ProgramsEkkehard Rohwedder, Frank Pfenning. 296-310
- Linear Time Hierarchies for a Functional Language Machine ModelEva Rose. 311-325
- Integer Constraints to Stop DeforestationHelmut Seidl. 326-340
- Towards an ML-Style Polymorphic Type System for CGeoffrey Smith, Dennis M. Volpano. 341-355
- Assumption/Commitment Rules for Dataflow Networks - With an Emphasis on CompletenessKetil Stølen. 356-372
- Towards an Expressive Language for PDE SolversMichael Thuné, Krister Åhlander. 373-386
- Rewrite Systems with Abstraction and beta-Rule: Types, Approximants and NormalizationSteffen van Bakel, Franco Barbanera, Maribel Fernández. 387-403