Abstract is missing.
- Executable Specifications for Language ImplementationUwe Kastens. 1-11
- Avoiding Dynamic Delays in Functional Logic ProgramsJohan Boye. 12-27
- A Debugging Model for Functional Logic ProgramsMichael Hanus, Berthold Josephs. 28-43
- A Conservative Approach to Meta-Programming in Constraint Logic ProgrammingPierre Lim, Joachim Schimpf. 44-59
- The Versatility of Handling Disjunctions as ConstraintsJean Jourdan, Thierry Sola. 60-74
- Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite DomainsMarc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy, Baudouin Le Charlier. 75-91
- Improvements in Compile-Time Analysis for Ground PrologAndreas Kågedal. 92-107
- A New Top-Down Parsing Algorithm for Left-Recursive DCGsMark-Jan Nederhof. 108-122
- Specification and Implementation of Grammar Couplings using Attribute GrammarsMartin Jourdan, Carole Le Bellec, Didier Parigot, Gilles Roussel. 123-136
- Programming Language Specification and Prototyping Using the MAX SystemArnd Poetzsch-Heffter. 137-150
- Flang and its ImplementationAndrei Mantsivoda. 151-166
- Efficient Lazy Narrowing using Demandedness AnalysisJuan José Moreno-Navarro, Herbert Kuchen, Julio Mariño-Carballo, Stephan Winkler, Werner Hans. 167-183
- A Demand Driven Computation Strategy for Lazy NarrowingRita Loogen, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo. 184-200
- Functional Programming Languages with Logical Variables: A Linear Logic ViewJohn Darlington, Yike Guo, Martin Köhler. 201-219
- Objects with State in Contextual Logic ProgrammingAntonio Natali, Andrea Omicini. 220-234
- A Novel Method for Parallel Implementation of ::::findall::::Khayri A. M. Ali, Roland Karlsson. 235-245
- A Parallel Implementation for AKLRemco Moolenaar, Bart Demoen. 246-261
- Inlining to Reduce Stack SpaceOwen Kaser. 262-274
- A WAM-Based Implementation of a Logical Language with SetsAgostino Dovier, Enrico Pontelli. 275-290
- An OR Parallel Prolog Model for Distributed Memory SystemsVicente Benjumea, José M. Troya. 291-301
- Executing Bounded Quantifications on Shared Memory MultiprocessorsJonas Barklund, Johan Bevemyr. 302-317
- A Lattice of Abstract GraphsDavid Clark, Chris Hankin. 318-331
- Higher-Order Chaotic Iteration SequencesMads Rosendahl. 332-345
- Proving the Correctness of Compiler Optimizations Based on Strictness AnalysisGeoffrey L. Burn, Daniel Le Métayer. 346-364
- Abstract Complexity of Prolog Based on WAMAlexander Ja. Dikovsky. 365-377
- Development of Rewriting StrategiesAlexander A. Letichevsky. 378-390
- Narrowing Approximations as an Optimization for Equational Logic ProgramsMaría Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal. 391-409
- PAGODE: a Back End GeneratorP. Canalda, L. Cognard, Annie Despland, Monique Mazaud. 410-411
- SelfLog: Language and ImplementationMichele Bugliesi, Giuseppe Nardiello. 412-413
- Embedding Declarative Subprograms into Imperative ConstructsMartin Jourdan, Fabienne Lagnier, Florence Maraninchi, Pascal Raymond. 414-415
- Stack Management of Runtime Structures in Distributed ImplementationsGuido Hogen, Rita Loogen. 416-417
- Efficient Register Allocation for Large Basic BlocksChristoph W. Keßler, Thomas Rauber. 418-419
- Generation of Synchronization Code for Parallel CompilersMartin Alt, Georg Sander, Reinhard Wilhelm. 420-421