Graph reduction machine
Encyclopedia
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
.
Computer
A computer is a programmable machine designed to sequentially and automatically carry out a sequence of arithmetic or logical operations. The particular sequence of operations can be changed readily, allowing the computer to solve more than one kind of problem...
built to perform combinator calculations by graph reduction
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 evaluation and used in functional programming languages...
.
Examples include the SKIM ("S-K-I machine") computer, built at the University of Cambridge Computer Laboratory
University of Cambridge Computer Laboratory
The Computer Laboratory is the computer science department of the University of Cambridge. As of 2007, it employs 35 academic staff, 25 support staff, 35 affiliated research staff, and about 155 research students...
, and the multiprocessor GRIP
Grip
Grip may refer to:* Handle , a part of, or attachment to, an object, allowing it to be moved or used by hand* Grip strength, a measure of hand strength* Grippers, exercise machines used to increase hand strength- In sports :...
("Graph Reduction In Parallel") computer, built at University College London
University College London
University College London is a public research university located in London, United Kingdom and the oldest and largest constituent college of the federal University of London...
.
External links
- http://www-fp.dcs.st-and.ac.uk/~kh/papers/pasco94/subsubsectionstar3_2_1_1.html