HOME

TheInfoList



OR:

A graph reduction machine is a special-purpose
computer A computer is a machine that can be programmed to Execution (computing), carry out sequences of arithmetic or logical operations (computation) automatically. Modern digital electronic computers can perform generic sets of operations known as C ...
built to perform
combinator Combinatory logic is a notation to eliminate the need for quantified variables in mathematical logic. It was introduced by Moses Schönfinkel and Haskell Curry, and has more recently been used in computer science as a theoretical model of comput ...
calculations by
graph reduction In computer science, graph reduction implements an efficient version of non-strict evaluation, an evaluation strategy where the arguments to a function are not immediately evaluated. This form of non-strict evaluation is also known as lazy evaluati ...
. Examples include the SKIM ("S-K-I machine") computer, built at the
University of Cambridge Computer Laboratory The Department of Computer Science and Technology, formerly the Computer Laboratory, is the computer science department of the University of Cambridge. it employed 35 academic staff, 25 support staff, 35 affiliated research staff, and about 15 ...
, and the multiprocessor GRIP ("Graph Reduction In Parallel") computer, built at
University College London , mottoeng = Let all come who by merit deserve the most reward , established = , type = Public research university , endowment = £143 million (2020) , budget = ...
.


See also

*
SECD machine The SECD machine is a highly influential (''see: '') virtual machine and abstract machine intended as a target for functional programming language compilers. The letters stand for Stack, Environment, Control, Dump—the internal registers of the mac ...


References

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


External links


Reduction Machines
Parallel Functional Programming: An Introduction, Kevin Hammond Applicative computing systems Functional programming University of Cambridge Computer Laboratory {{Compu-hardware-stub