Top
| Introduction | |
| List of Referees | |
| VisAll: A new Tool to Visualize Parallel Execution of Logic Program | p. 1 |
| A Concurrent Implementation of Curry in Java | p. 21 |
| Unfolding WAM Code | p. 39 |
| An Extension of the WAM for Uninitialized Variables | p. 51 |
| The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C) LP Systems | p. 65 |
| The BEAM Towards a first EAM Implementation | p. 87 |
| Last Alternative Optimization for Or-parallel Logic Programming Systems | p. 107 |
| Side-effects in PloSys OR-parallel Prolog on distributed memory machines | p. 133 |
| Combining Scheduling Strategies in Tabled Evaluations | p. 147 |
| Structure Sharing and Structure Copying Revisited | p. 165 |
| A Static Implementation of the Basic Andorra Model for Distributed Memory Systems | p. 179 |
| ParTy - A Parallel-Types Analyser | p. 199 |
| An implementation of Or-Parallelism based on direct access to the MMU | p. 211 |
| Multi-phase Copying Garbage Collection in LOGFLOW | p. 229 |
| Three CLP Implementations of Branch-and-Bound Optimization | p. 253 |
| AskandTell Linear Constraints in Constraint Logic Programming | p. 267 |
| Realizing Modularity in [lambda]Prolog | p. 281 |
| The Use of Mercury for the Implementation of a Finite Domain Solver | p. 299 |
| The YAIL: An Intermediate Language for the Native Compilation of Prolog Programs | p. 313 |
| Analysis and Improvement of the Variable Binding Scheme in LOGFLOW | p. 329 |
| Index | p. 353 |
| Table of Contents provided by Blackwell. All Rights Reserved. |
