{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:14Z","timestamp":1725663434326},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540179436"},{"type":"electronic","value":"9783540471448"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-17943-7_141","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T14:19:34Z","timestamp":1330179574000},"page":"394-413","source":"Crossref","is-referenced-by-count":1,"title":["Overview of a parallel reduction machine project"],"prefix":"10.1007","author":[{"given":"DI","family":"Bevan","sequence":"first","affiliation":[]},{"given":"GL","family":"Burn","sequence":"additional","affiliation":[]},{"given":"RJ","family":"Karia","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"25_CR1","unstructured":"Anderson, P., Hankin, C., Kelly, P., Osmon, P., and Shute, M., COBWEB-2: Structured Specification of A Wafer-Scale Supercomputer, In this volume."},{"key":"25_CR2","doi-asserted-by":"crossref","unstructured":"Aubusson, R.C., and Catt, I., Wafer Scale Integration \u2014 A Fault-Tolerant Procedure, IEEE Journal of Solid State Circuits, Sc-13, 3, 1978.","DOI":"10.1109\/JSSC.1978.1051050"},{"key":"25_CR3","unstructured":"Bevan, D.I., Distributed Garbage Collection Using Reference Counting, In this volume."},{"key":"25_CR4","unstructured":"Bevan, D.I., Burn, G.L., Karia, R.J., and Robson, J.D., Design Principles of a Distributed Memory Architecture for Parallel Graph Reduction, Submitted to: Third International Conference on Functional Programming Languages and Computer Architecture, September 1987."},{"key":"25_CR5","unstructured":"Burn, G.L., Abstract Interpretation and the Parallel Evaluation of Functional Languages, PhD Thesis, Department of Computing, Imperial College of Science and Technology, University of London, 1986."},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"Burn, G.L., Evaluation Transformers \u2014 A Model for the Parallel Evalution of Functional Languages (Extended Abstract), Submitted to: Third International Conference on Functional Programming Languages and Computer Architecture, September 1987.","DOI":"10.1007\/3-540-18317-5_24"},{"key":"25_CR7","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/0167-6423(86)90010-9","volume":"7","author":"G.L. Burn","year":"1986","unstructured":"Burn, G.L., Hankin, C.L., and Abramsky, S., Strictness Analysis for Higher-Order Functions, Science of Computer Programming, 7, November 1986, pp.249\u2013278.","journal-title":"Science of Computer Programming"},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"Clack, C., and Peyton Jones, S.L., The Four-Stroke Reduction Engine, Proceedings of the 1986 ACM Conference on Lisp and Functional Programming, Cambridge, Massachusetts, 4\u20136 August, 1986, pp. 220\u2013232.","DOI":"10.1145\/319838.319865"},{"key":"25_CR9","unstructured":"Dijkstra, E.W., A Mild Variant of Combinatory Logic, EWD735, 1980."},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"Hankin, C.L., Burn, G.L., and Peyton Jones, S.L., A Safe Approach to Parallel Combinator Reduction (Extended Abstract), Proceedings ESOP 86 (European Symposium on Programming), Saarbrucken, Federal Republic of Germany, March 1986, Robinet, B., and Wilhelm, R. (eds.), Springer-Verlag LNCS 213, pp. 99\u2013110.","DOI":"10.1007\/3-540-16442-1_7"},{"key":"25_CR11","unstructured":"Hankin, C.L., Burn, G.L., and Peyton Jones, S.L., A Safe Approach to Parallel Combinator Reduction, To be published in, Theoretical Computer Science."},{"key":"25_CR12","doi-asserted-by":"crossref","unstructured":"Hankin, C.L., Osmon, P.E., and Shute, M.J., COBWEB: A Combinator Reduction Architecture, in: Proceedings of IFIP International Conference on Functional Programming Languages and Computer Architecture, Nancy, France, 16\u201319 September, 1985, Jouannaud, J.-P. (ed.), Springer-Verlag LNCS 201, pp. 99\u2013112.","DOI":"10.1007\/3-540-15975-4_32"},{"key":"25_CR13","doi-asserted-by":"crossref","unstructured":"Hudak P. and Goldberg B., Experiments in Diffused Combinator Reduction, ACM Symposium on Lisp and Functional Programming, Austin, Texas, USA, August 1984, pp 167\u2013176.","DOI":"10.1145\/800055.802033"},{"key":"25_CR14","doi-asserted-by":"crossref","unstructured":"Hudak P. and Goldberg, B., Distributed Execution of Functional Programs using Serial Combinators, IEEE Transactions on Computers, Vol C-34 10, October 1985.","DOI":"10.1109\/TC.1985.6312191"},{"key":"25_CR15","unstructured":"Johnsson, T., Compiling Lazy Functional Languages, PhD Thesis, Department of Computer Sciences, Chalmers University of Technology, 1987."},{"key":"25_CR16","unstructured":"Karia, R.J., An Investigation of Combinator Reduction on Multiprocessor Architectures, PhD Thesis, University of London, January 1987."},{"key":"25_CR17","unstructured":"Kennaway, R., and Sleep, R., Director Strings as Combinators, University of East Anglia Technical Report, November 1986."},{"key":"25_CR18","doi-asserted-by":"crossref","unstructured":"Lerman, C.-W. and Maurer, D., A Protocol for Distributed Reference Counting, Proceedings 1986 ACM Conference on Lisp and Functional Programming, Cambridge, Massachusetts, August 4\u20136, 1986.","DOI":"10.1145\/319838.319875"},{"key":"25_CR19","unstructured":"Mycroft, A., Abstract Interpretation and Optimising Transformations for Applicative Programs, PhD. Thesis, University of Edinburgh, 1981."},{"key":"25_CR20","unstructured":"Peyton Jones, S.L., Implementing Functional Languages Using Graph Reduction, To be published in the Prentice-Hall International Series in Computer Science, 1987."},{"key":"25_CR21","volume-title":"GRIP \u2014 A Parallel Graph Reduction Machine","author":"S.L. Peyton Jones","year":"1985","unstructured":"Peyton Jones, S.L., Clack, C. and Salkild, J., GRIP \u2014 A Parallel Graph Reduction Machine, Dept of Computer Science, University College, London, November 1985."},{"key":"25_CR22","doi-asserted-by":"crossref","unstructured":"Seitz, C.L., The Cosmic Cube, CACM 28, 1, January 1985.","DOI":"10.1145\/2465.2467"},{"key":"25_CR23","unstructured":"Shute, M.J., and Osmon, P.E., COBWEB \u2014 A reduction architecture, International Workshop on Wafer-Scale Integration, 10\u201312 July, 1985, Southampton University, United Kingdom."},{"key":"25_CR24","doi-asserted-by":"crossref","first-page":"267","DOI":"10.2307\/2273733","volume":"2","author":"D.A. Turner","year":"1979","unstructured":"Turner, D.A., Another Algorithm For Bracket Abstraction, The Journal of Symbolic Logic 44 2, June 1979, pp. 267\u2013270.","journal-title":"The Journal of Symbolic Logic 44"},{"key":"25_CR25","doi-asserted-by":"crossref","unstructured":"Turner, D.A., Miranda: A non-strict functional language with polymorphic types, Functional Programming Languages and Computer Architecture, September 1985, Nancy, Jouannaud, J.-P., (ed.), Springer-Verlag LNCS 201, pp. 1\u201316.","DOI":"10.1007\/3-540-15975-4_26"},{"key":"25_CR26","unstructured":"Wadler, P., Strictness Analysis on Non-Flat Domains (by Abstract Interpretation over Finite Domains), Draft Manuscript distributed via the FP mailboard, 10th November, 1985."},{"key":"25_CR27","unstructured":"Wadsworth, C.P., Semantics and Pragmatics of the Lambda Calculus (Chapter 4), PhD Thesis, University of Oxford, 1971."}],"container-title":["Lecture Notes in Computer Science","PARLE Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-17943-7_141.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:13:35Z","timestamp":1605626015000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-17943-7_141"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540179436","9783540471448"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-17943-7_141","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}