A solution to problem 7 — parallel combinator reduction machine —
A formal specification is given, allowing a wide class of parallel implementations but excluding sequential implementations. The specification technique used is novel, and has not yet been shown to be applicable to other problems.
Unable to display preview. Download preview PDF.