Máquina de redução de gráfico - Graph reduction machine
Uma máquina de redução de gráfico é um computador de propósito especial construído para realizar cálculos combinadores por redução de gráfico .
Os exemplos incluem o computador SKIM ("SKI machine"), construído no University of Cambridge Computer Laboratory , e o computador multiprocessador GRIP ("Graph Reduction In Parallel"), construído na University College London .
Veja também
Referências
- TJW Clarke, P. Gladstone, C. MacLean, AC Norman: SKIM - The S, K, I Reduction Machine . Conferência LISP, 1980: 128-135
links externos
- Reduction Machines , Parallel Functional Programming: An Introduction, Kevin Hammond