Misplaced Pages

Graph reduction machine

Article snapshot taken from[REDACTED] with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Special-purpose computer

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, the multiprocessor GRIP ("Graph Reduction In Parallel") computer, built at University College London, and the Reduceron, which was implemented on an FPGA with the single purpose of executing Haskell.

See also

References

  1. Clarke, T. J.W.; Gladstone, P. J.S.; MacLean, C. D.; Norman, A. C. (25 August 1980). "SKIM - the S, K, I reduction machine". Proceedings of the 1980 ACM conference on LISP and functional programming - LFP '80. New York, NY, USA: Association for Computing Machinery. pp. 128–135. doi:10.1145/800087.802798. ISBN 978-1-4503-7396-8. S2CID 10189254.
  2. "Reduction Machines". 31 July 2002. Archived from the original on 31 July 2002. Retrieved 1 July 2023.
  3. Jones, Simon L. Peyton; Clack, Chris; Salkild, Jon; Hardie, Mark (1987). "GRIP — a high-performance architecture for parallel graph reduction". In Kahn, Gilles (ed.). Functional Programming Languages and Computer Architecture. Lecture Notes in Computer Science. Vol. 274. Berlin, Heidelberg: Springer. pp. 98–112. doi:10.1007/3-540-18317-5_7. ISBN 978-3-540-47879-9.
  4. Naylor, Matthew; Runciman, Colin (2012). "The Reduceron reconfigured and re-evaluated". Journal of Functional Programming. 22 (4–5): 574–613. doi:10.1017/S0956796812000214. ISSN 1469-7653. S2CID 1310090.
  5. 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 (eds.). Implementation and Application of Functional Languages. Lecture Notes in Computer Science. Vol. 5083. Berlin, Heidelberg: Springer. pp. 129–146. doi:10.1007/978-3-540-85373-2_8. ISBN 978-3-540-85373-2.

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


Stub icon

This computer hardware article is a stub. You can help Misplaced Pages by expanding it.

Categories:
Graph reduction machine Add topic