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 Computer Laboratory, and the multiprocessor GRIP ("Graph Reduction In Parallel") computer, built at University College London.

References

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

Related articles

External links

  • http://www-fp.dcs.st-and.ac.uk/~kh/papers/pasco94/subsubsectionstar3_2_1_1.html

 

<< PreviousWord BrowserNext >>
gomersal
lathe
islam and judaism
pipe organ
i can see you
csound
david raven
red house museum
twin lens reflex camera
uelzen (district)
bergen belsen
milutin milankovic
river aire
living colour
river spen
rspb fairburn ings
river witham
river welland
welland
witham
river nene
nene
church rosser theorem
the jam
river great ouse
hawaiian goose
red river of the north
pdif
dat
vampire: the masquerade
10,000 maniacs
axl rose
barrington levy
maggie cheung
maharaja
goodstein's theorem
hugo black
nennius
cape finisterre
near beer
gong li
bevo
doctor strange
rainbow bass