Jump to content

Graph reduction machine

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by InternetArchiveBot (talk | contribs) at 10:10, 13 March 2018 (Rescuing 1 sources and tagging 0 as dead. #IABot (v1.6.5) (Artix Kreiger)). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

A graph reduction machine is a special-purpose computer built to perform combinator calculations by graph reduction.

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

See also

References

  • T. J. W. Clarke, P. Gladstone, C. MacLean, A. C. Norman: SKIM — The S, K, I Reduction Machine. LISP Conference, 1980: 128–135