{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T09:32:36Z","timestamp":1742635956416,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540512851"},{"type":"electronic","value":"9783540461845"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51285-3_41","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:51:45Z","timestamp":1330203105000},"page":"181-198","source":"Crossref","is-referenced-by-count":2,"title":["Parle: A parallel target language for integrating symbolic and numeric processing"],"prefix":"10.1007","author":[{"given":"A. N.","family":"Refenes","sequence":"first","affiliation":[]},{"given":"E.","family":"Eberbach","sequence":"additional","affiliation":[]},{"given":"S. C.","family":"McCabe","sequence":"additional","affiliation":[]},{"given":"P. C.","family":"Treleaven","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Baiardi F., and Vanneschi M., \"Paralellism Issues in multi-style computers\", in Treleaven P.C., and Vanneschi M., (eds) \"Future Parallel Computers\", Springel Verlag (1987).","DOI":"10.1007\/3-540-18203-9_1"},{"key":"13_CR2","unstructured":"Clocksin W., and Mellish C., in \"Programming in PROLOG\", Springer-Verlag (1981)."},{"key":"13_CR3","unstructured":"Darlington J., and Reeve M., \"ALICE: A multiprocessor reduction machine for the parallel evaluation of applicative languages\", Proc. Int. Symo. Functional Programming Languages and Computer Architecture, (Jun. 81), pp. 32\u201362."},{"issue":"12","key":"13_CR4","first-page":"1112","volume":"C-13","author":"J. Deminet","year":"1978","unstructured":"Deminet J., \"Experience with Multiprocessor Algorithms\", IEEE Trans. on Computers, vol. C-13, no 12, (Dec 1978), pp. 1112\u20131118.","journal-title":"IEEE Trans. on Computers"},{"key":"13_CR5","unstructured":"Deering M.F., \"Hardware and Software Architectures for Efficient AI\", Proc. Nat. Conf. on Artificial Intelligence AAAI-84, (August 1984) pp. 73\u201378."},{"key":"13_CR6","volume-title":"Self-Modifiable Algorithms and Their Applications","author":"E. Eberbach","year":"1988","unstructured":"Eberbach E., \"Self-Modifiable Algorithms and Their Applications\", Research Note RN\/88\/27, Department of Computer Science, University College, London, (June 1988)."},{"key":"13_CR7","volume-title":"Virtual Machine Interpreter Version 2","author":"E. Eberbach","year":"1988","unstructured":"Eberbach E., Refenes A. N., \"Virtual Machine Interpreter Version 2\", Tech.Rep. SPAN-WP1-18, University College, London, (July 1988)."},{"key":"13_CR8","volume-title":"High Integrity Software","author":"J. M. Foster","year":"1988","unstructured":"Foster J. M., \"The Algebraic Specification of a Target Machine: Ten15\", in: High Integrity Software, Pitman, London, 1988."},{"key":"13_CR9","unstructured":"Hopkins R.P., \"A recursive architecture supporting control flow, data flow, and reduction\", Tech. Rep., Dept. Computer Science, University of Newcastle upon Tyne (1985)."},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Hoare C.A.R., \"Communicating Sequential Processes\", Prentice-Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"13_CR11","unstructured":"INMOS Ltd, \"The OCCAM programming manual\", Prentice Hall, 1984."},{"key":"13_CR12","unstructured":"McCabe S., \"The specification of PARLE\", Tech. Rep. THORN-EMI Central Research Labs., Hayes, England, no. SPAN\/WP2\/8, (Jul. 1987)."},{"key":"13_CR13","unstructured":"McCabe S., \"A Kernel System for Parallel Symbolic and Numeric Processing\", PhD Thesis,Dept. Comp. Science., University College London, (July 1988)."},{"key":"13_CR14","unstructured":"McCarthy J., et al, in \"LISP 1.5 programmer's mannual\", MIT press, (Feb. 1965)."},{"key":"13_CR15","volume-title":"Introduction to VLSI Systems","author":"C. A. Mead","year":"1980","unstructured":"Mead C. A., and Conway A. L., \"Introduction to VLSI Systems\", Reading MA, Addison-Wesley, (1980)."},{"key":"13_CR16","unstructured":"May D., and Taylor R., \"OCCAM\", Inmos Tech.Rep. TR-72-occ-005. (1986)."},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Moon D. A., \"The Architecture of the Symbolics 3600\", Proc. 12th Int. Symp. on Computer Architecture, (1985), pp. 76\u201383.","DOI":"10.1145\/327070.327133"},{"key":"13_CR18","volume-title":"GRIP \u2014 a high performance architecture for parallel graph reduction","author":"S. L. Peyton-Jones","year":"1987","unstructured":"Peyton-Jones S. L., et al, \"GRIP \u2014 a high performance architecture for parallel graph reduction\", IN2079, Department of Computer Science, University College, London, (Feb. 1987)."},{"key":"13_CR19","volume-title":"Parallel Computer Architecture for Symbolic and Numeric Process","author":"A. N. Refenes","year":"1987","unstructured":"Refenes A. N., \"Parallel Computer Architecture for Symbolic and Numeric Process\" PhD Thesis, University of Reading, England, (July 1987)."},{"key":"13_CR20","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/0167-739X(87)90011-2","volume":"3","author":"A. N. Refenes","year":"1987","unstructured":"Refenes A. N., \"N_Expression Implementations to support the Integration of Symbolic and Numeric Processing\", Future Generation Computer Systems, North Holland, 3 (1987),pp.161\u2013187.","journal-title":"Future Generation Computer Systems, North Holland"},{"key":"13_CR21","volume-title":"Abstract Machines \u2014 Towards a unifying Intermediate Representation","author":"A. N. Refenes","year":"1989","unstructured":"Refenes A. N., \"Abstract Machines \u2014 Towards a unifying Intermediate Representation\", Research Note RN8916, Department of Computer Science, University College, London, (Feb. 1989)"},{"key":"13_CR22","volume-title":"Message-Passing via Singly-Buffered Channels","author":"A. N. Refenes","year":"1989","unstructured":"Refenes A. N., \"Message-Passing via Singly-Buffered Channels\", Tech Rep. UCL\/CS\/SPAN\/pnr\/MP1, Department of Computer Science, University College, London, (Feb. 1989)"},{"key":"13_CR23","doi-asserted-by":"crossref","unstructured":"Refenes A. N., Clough J. R., McCabe S. C., and Treleaven P. C., \"The SPAN Project: Integrating Symbolic and Numeric Processing\", in \"ESPRIT Putting the technology to use\", Proc. ESPRIT Technical Week, (Nov. 1988).","DOI":"10.1007\/3-540-51285-3_41"},{"key":"13_CR24","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1038\/scientificamerican0977-210","volume":"237","author":"I. E. Sutherland","year":"1977","unstructured":"Sutherland I. E., and Mead C. A., \"Microelectronics and Computer Science\", Scientific American, vol. 237, (Sept. 1977). pp. 210\u2013229.","journal-title":"Scientific American"},{"key":"13_CR25","first-page":"1","volume-title":"New computer architectures","author":"P. C. Treleaven","year":"1984","unstructured":"Treleaven P. C., \"Decentralised computer architecture\", in Tiberghin J. (ed), \"New computer architectures\", Academic Press, London, (1984), pp 1\u201355."},{"key":"13_CR26","doi-asserted-by":"crossref","unstructured":"Treleaven P.C., Refenes A.N., Lees K.J., McCabe S.C., \"Computer Architectures for Artificial Intelligence\", in Future Parallel Computers, Lecture Notes in Computer Science, vol. 272, Treleaven P., Vanneschi M. (eds.), (1987), pp. 416\u2013492.","DOI":"10.1007\/3-540-18203-9_15"},{"issue":"12","key":"13_CR27","doi-asserted-by":"crossref","first-page":"1050","DOI":"10.1109\/TC.1984.1676387","volume":"C-33","author":"S.R. Vegdahl","year":"1984","unstructured":"Vegdahl S.R., \"A Survey of Proposed Architectures for Execution of Functional Languages\", IEEE Trans. Computers, vol. C-33, no. 12 (Dec. 1984) pp. 1050\u20131071.","journal-title":"IEEE Trans. Computers"},{"key":"13_CR28","unstructured":"Wilner W. T., \"Recursive Machines\", Xerox Palo Alto Research Center, Internal Report (1980)."},{"key":"13_CR29","unstructured":"Yokota M., et al, \"The design and Implemention of a Personal Sequential Inference Machine: PSI\", New Generation Computers, vol. 1, no. 6, (1983)."}],"container-title":["Lecture Notes in Computer Science","PARLE '89 Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51285-3_41.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T20:52:52Z","timestamp":1742590372000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51285-3_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540512851","9783540461845"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-51285-3_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}