Una máquina de reducción de gráficos es una computadora de propósito especial construida para realizar cálculos de combinador por reducción de gráficos .
Los ejemplos incluyen la computadora SKIM ("máquina de SKI"), construida en el Laboratorio de Computación de la Universidad de Cambridge , y la computadora GRIP ("Reducción de Gráficos en Paralelo") multiprocesador, construida en el University College de Londres .
Ver también
Referencias
- TJW Clarke, P. Gladstone, C. MacLean, AC Norman: SKIM - La S, K, máquina de reducción de I . Conferencia LISP, 1980: 128-135
enlaces externos
- Máquinas de reducción , programación funcional paralela: introducción, Kevin Hammond