An Abstract Machine for Parallel Lazy Evaluation
Chapter 17 of Trends in Functional Programming, Intellect
Books, 2000, pages 153-161.
We describe a simple abstract machine for parallel lazy evaluation.
The starting point is Sestoft's abstract machine for sequential lazy
evaluation and the development is influenced by an existing
operational semantics for parallel lazy evaluation. The general
structure of the machine is flexible enough to describe a variety of
parallel constructs. We illustrate this claim by considering fully
speculative evaluation, `par` and
combinators and limited processing resources.
An eariler version of this article was
presented at the First Scottish Functional Programming Workshop in 1999.