Abstract is missing.
- Implementing Parallel RewritingClaude Kirchner, Patrick Viry. 1-15
- Compilation of NarrowingAndy Mück. 16-29
- Inference-Based Overloading Resolution for ADAFranz-Josef Grosch, Gregor Snelting. 30-44
- An Approach to Verifiable Compiling Specification and PrototypingJonathan P. Bowen, Jifeng He, Paritosh K. Pandya. 45-59
- Bug Localization by Algorithmic Debugging and Program SlicingMariam Kamkar, Nahid Shahmehri, Peter Fritzson. 60-74
- A Constraint Logic Programming ShellPierre Lim, Peter J. Stuckey. 75-88
- Modifying the Simplex Algorithm to a Constraint SolverJuhani Jaakola. 89-105
- Implementing a Meta-Logical SchemePierre Lim, David N. Morley. 106-120
- The Vienna Abstract MachineAndreas Krall, Ulrich Neumerkel. 121-135
- A New Data Structure for Implementing Extensions to PrologSerge Le Huitouze. 136-150
- Finding the Least Fixed Point Using Wait-Declarations in PrologDan Sahlin. 151-158
- Elementary Logic ProgramsPaul Tarau, Michel Boyer. 159-173
- A New Presburger Arithmetic Decision Procedure Based on Extended Prolog ExecutionLaurent Fribourg. 174-188
- Reasoning About Programs with EffectsIan A. Mason, Carolyn L. Talcott. 189-203
- Towards a Characterization of Termination of Logic ProgramsBal Wang, R. K. Shyamasundar. 204-221
- Static Type Analysis of Prolog Procedures for Ensuring CorrectnessPierre De Boeck, Baudouin Le Charlier. 222-237
- Integrating Strict and Lazy Evaluation: The lambda-sl-CalculusAndrea Asperti. 238-254
- Efficient Data Representation in Polymorphic LanguagesXavier Leroy. 255-276
- A Logic-Based Approach to Data Flow Analysis ProblemShmuel Sagiv, Nissim Francez, Michael Rodeh, Reinhard Wilhelm. 277-292
- Systematic Semantic Approximations of Logic ProgramsUlf Nilsson. 293-306
- Interprocedural Abstract Interpretation of Block Structured Languages with Nested Procedures, Aliasing and RecursivityFrançois Bourdoncle. 307-323
- On the Automatic Generation of Events in Delta PrologVeroniek Dumortier, Maurice Bruynooghe. 324-339
- Compilation of Non-Linear, Second Order Patterns on S-ExpressionsChristian Queinnec. 340-357
- Pattern Matching in a Functional Transformation Language using TreeparsingChristian Ferdinand. 358-371
- Logic Programming within a Functional FrameworkAntonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini. 372-386
- Compiling Logic Programs with EqualityMichael Hanus. 387-400