Jump to content

Graph reduction machine

Add links
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by 217.158.106.142 (talk) at 23:49, 22 November 2002 (a nice extlink, too). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Some special-purpose computers have been built to perform combinator calculations by graph reduction.

Examples include the SKIM ("S-K-I machine") computer, built at Cambridge University, and the multiprocessor GRIP ("Graph Reduction In Parallel") computer, built at UCL.

References:

  • T. J. W. Clarke, P. Gladstone, C. MacLean, A. C. Norman: SKIM - The S, K, I Reduction Machine. LISP Conference 1980: 128-135
Retrieved from "https://en.wikipedia.org/w/index.php?title=Graph_reduction_machine&oldid=439831"