Search the Kids Internet
Encyclopedia > Graph reduction machine
Article Content
Graph reduction machine
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, and the multiprocessor GRIP ("Graph Reduction In Parallel") computer, built at University College London.
- T. J. W. Clarke, P. Gladstone, C. MacLean, A. C. Norman: SKIM - The S, K, I Reduction Machine. LISP Conference 1980: 128-135
All Wikipedia text is available under the terms of the GNU Free Documentation License
|
Search Encyclopedia
|