Graph reduction machine
From HandWiki
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,[1] the multiprocessor GRIP ("Graph Reduction In Parallel") computer, built at University College London,[2][3] and the Reduceron, which was implemented on an FPGA with the single purpose of executing Haskell.[4][5]
See also
References
- ↑ Clarke, T. J.W.; Gladstone, P. J.S.; MacLean, C. D.; Norman, A. C. (1980-08-25). "SKIM - the S, K, I reduction machine". Proceedings of the 1980 ACM conference on LISP and functional programming - LFP '80. LFP '80. New York, NY, USA: Association for Computing Machinery. pp. 128–135. doi:10.1145/800087.802798. ISBN 978-1-4503-7396-8. https://dl.acm.org/doi/10.1145/800087.802798.
- ↑ "Reduction Machines". 2002-07-31. http://www-fp.dcs.st-and.ac.uk/~kh/papers/pasco94/subsubsectionstar3_2_1_1.html.
- ↑ Jones, Simon L. Peyton; Clack, Chris; Salkild, Jon; Hardie, Mark (1987). "GRIP — a high-performance architecture for parallel graph reduction". in Kahn, Gilles (in en). Functional Programming Languages and Computer Architecture. Lecture Notes in Computer Science. 274. Berlin, Heidelberg: Springer. pp. 98–112. doi:10.1007/3-540-18317-5_7. ISBN 978-3-540-47879-9.
- ↑ Naylor, Matthew; Runciman, Colin (2012). "The Reduceron reconfigured and re-evaluated" (in en). Journal of Functional Programming 22 (4–5): 574–613. doi:10.1017/S0956796812000214. ISSN 1469-7653. https://www.cambridge.org/core/journals/journal-of-functional-programming/article/reduceron-reconfigured-and-reevaluated/9818E081664ADAFE9F61F1AEDAD0B043.
- ↑ Naylor, Matthew; Runciman, Colin (2008). "The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction Using an FPGA". in Chitil, Olaf; Horváth, Zoltán; Zsók, Viktória (in en). Implementation and Application of Functional Languages. Lecture Notes in Computer Science. 5083. Berlin, Heidelberg: Springer. pp. 129–146. doi:10.1007/978-3-540-85373-2_8. ISBN 978-3-540-85373-2. https://link.springer.com/chapter/10.1007/978-3-540-85373-2_8.
Further reading
- 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
 |  |
