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. |