Advertisement

A solution to problem 7 — parallel combinator reduction machine —

  • Peter Mosses
4. Solutions
Part of the Lecture Notes in Computer Science book series (LNCS, volume 207)

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • Peter Mosses
    • 1
  1. 1.Dept. of Computer ScienceUniversity of EdinburghUK

Personalised recommendations