Parallel Lazy Abstract Machines
Clem Baker-Finch. Proceedings of the First Scottish Functional Programming Workshop,
University of Stirling, Bridge of Allan,
P.Trinder & G.Michaelson (Eds), pp.33-42, August 1999.
Available as Technical Report RM/99/9,
Dept of Computing and Electrical Engineering, Heriot-Watt University.
Abstract
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 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 with fully speculative
evaluation, `par` and `seq` combinators and
limited processing resources.
BibTeX, PostScript, gzipped PostScript