{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:51:08Z","timestamp":1725663068342},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540184201"},{"type":"electronic","value":"9783540479635"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-18420-1_54","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:35:24Z","timestamp":1330198524000},"page":"160-180","source":"Crossref","is-referenced-by-count":1,"title":["Toward the design of a parallel graph reduction machine the MaRS project"],"prefix":"10.1007","author":[{"given":"Michel","family":"Castan","sequence":"first","affiliation":[]},{"given":"Guy","family":"Durrieu","sequence":"additional","affiliation":[]},{"given":"Bernard","family":"Lecussan","sequence":"additional","affiliation":[]},{"given":"Michel","family":"Lema\u00eetre","sequence":"additional","affiliation":[]},{"given":"Alessandro","family":"Contessa","sequence":"additional","affiliation":[]},{"given":"Eric","family":"Cousin","sequence":"additional","affiliation":[]},{"given":"Paulino","family":"Ng","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"8_CR1","unstructured":"Arvind, R.A. Iannucci Two fundamental issues in multiprocessing: The Data Flow solution MIT\/LCS\/TM-241, September 1983."},{"key":"8_CR2","unstructured":"A. Bawden, R. Greenblatt, J. Holloway Lisp machine progress report, MIT memo \u2260444, 1977."},{"key":"8_CR3","unstructured":"Ph. Berger, D. Comte, N. Hifdi, B. Pelois, J.C. Syre Mise en oeuvre d'un prototype de multiprocesseur en assignation unique Rapport final, TEAU 18, ONERA-CERT, 1980."},{"key":"8_CR4","unstructured":"M. Castan Conception et r\u00e9alisation d'une machine sp\u00e9cialis\u00e9e dans le traitement des formes arborescentes. Th\u00e8se de troisi\u00e8me cycle, Octobre 1980, UPS Toulouse, France."},{"key":"8_CR5","unstructured":"M. Castan, M.H. Durand, M. Lema\u00eetre A set of combinators for abstraction in linear space September 1985, to be published in Information Processing Letters"},{"key":"8_CR6","unstructured":"M. Castan, G. Durrieu, B. Lecussan, M. Lema\u00eetre Etude sur le parall\u00e9lisme non vectoriel dans les applications a\u00e9ronautiques: m\u00e9canismes de base de la machine MaRS, machine multiprocesseurs \u00e0 r\u00e9duction symbolique. Rapport final no 1\/3244\/DERI, Volume 2, Janvier 86."},{"key":"8_CR7","unstructured":"M. Castan, M. H. Durand, G. Durrieu, B. Lecussan, M. Lema\u00eetre MaRS: a multiprocessor machine for parallel graph reduction Hawaii International Conference on System Sciences, Honolulu, January 1986."},{"key":"8_CR8","unstructured":"Y. Chu, M. Abrams Programming languages and direct execution computer architecture, Computer, July 1981."},{"key":"8_CR9","unstructured":"A. Church The calculi of lambda-conversion Ann. of Math. studies, Princeton, N.J. 1941, 2nd ed. 1951."},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"J. Darlington, M. Reeve ALICE, a multiprocessor reduction machine for the parallel evaluation of applicative languages Proc. of the Conference on functional programming languages and computer architecture. October 1981, Portsmouth, New Hampshire.","DOI":"10.1145\/800223.806764"},{"key":"8_CR11","unstructured":"G. Durrieu LAURA: a parallel non vectorial data driven processor for aeronautic workstations Hawaii International Conference on System Sciences, Honolulu, January 1986."},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"E.A. Feustel On the advantages of the tagged architecture IEEE Transactions on Computer, Vol 22, No 4, 1973","DOI":"10.1109\/TC.1973.5009130"},{"key":"8_CR13","unstructured":"D.P. Friedman, D.S. Wise CONS should not evaluate its arguments Michaelson and Milnes Eds., Automata, Languages and Programming, Edindurgh University Press, 1976."},{"key":"8_CR14","unstructured":"P. Greussay Contribution \u00e0 la d\u00e9finition interpr\u00e9tative et \u00e0 l'impl\u00e9mentation des lambda languages Th\u00e8se d'\u00e9tat, Universit\u00e9 de Paris VI, Novembre 1977."},{"issue":"1","key":"8_CR15","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1145\/357121.357125","volume":"3","author":"D.H. Grit","year":"1981","unstructured":"D.H. Grit, R.L. Page Deleting irrelevant tasks in an expression oriented multiprocess or system ACM Transaction on programming languages and systems, 3(1), pp 49\u201359, January 1981.","journal-title":"ACM Transaction on programming languages and systems"},{"key":"8_CR16","volume-title":"COBWEB: A combinator reduction architecture","author":"C.L. Hankin","year":"1985","unstructured":"C.L. Hankin, P.E. Osmon, M.J. Shute COBWEB: A combinator reduction architecture Functional Languages and Computer Architecture, Nancy France, September 1985."},{"key":"8_CR17","unstructured":"P. Henderson Functional Programming, application and implementation Prentice Hall International, 1980"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"P. Henderson Purely Functional Operating Systems, in Functional programming and its applications, Darlington, Henderson, Turner Eds. Cambridge University Press, 1982.","DOI":"10.1145\/800068.802148"},{"key":"8_CR19","volume-title":"Experiments in diffused combinator reduction","author":"P. Hudak","year":"1984","unstructured":"P. Hudak, B. Goldberg Experiments in diffused combinator reduction ACM Symposium on Lisp and Functional Programming, Austin Texas, August 1984."},{"key":"8_CR20","unstructured":"R.M. Keller, F.C.H. Lin, J. Tanaka Rediflow Multiprocessing Proc. IEEE Compcon, February 1984"},{"key":"8_CR21","volume-title":"Mechanism for efficient multiprocessor combinator reduction","author":"M. Lema\u00eetre","year":"1986","unstructured":"M. Lema\u00eetre, M. Castan, M.H. Durand, G. Durrieu, B. Lecussan Mechanism for efficient multiprocessor combinator reduction ACM Symposium on Lisp and Functional Programming, Cambridge Massachusetts, August 1986"},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"J. Mc Carthy Recursive functions of symbolic expressions and their computation by machines CACM Vol 3, n\u00b0 4, April 1960","DOI":"10.1145\/367177.367199"},{"key":"8_CR23","volume-title":"Some practical methods for rapid combinator reduction","author":"W.R. Stoye","year":"1984","unstructured":"W.R. Stoye, T.J. Clarke, A.C. Norman Some practical methods for rapid combinator reduction ACM Symposium on Lisp and Functional Programming, Austin Texas, August 1984"},{"key":"8_CR24","doi-asserted-by":"crossref","unstructured":"W.R. Stoye Message Based Functional Operating Systems Science of Computer Programming, 6 (1986).","DOI":"10.1016\/0167-6423(86)90028-6"},{"key":"8_CR25","unstructured":"P.C. Treleaven Computer architecture for functional programming, in Functional Programming and its Application, J. Darlington, P. Henderson, D.A. Turner (eds), Cambridge University Press, 1982"},{"key":"8_CR26","doi-asserted-by":"crossref","unstructured":"D.A. Turner A new implementation technique for applicative languages Software practice and experience, vol. 9, 1979.","DOI":"10.1002\/spe.4380090105"},{"key":"8_CR27","doi-asserted-by":"crossref","unstructured":"S.R. Vegdhal A survey of proposed architectures for the execution of functional languages IEEE Transaction on computers, C-33(12), December 1984.","DOI":"10.1109\/TC.1984.1676387"}],"container-title":["Lecture Notes in Computer Science","Graph Reduction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-18420-1_54.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:14:52Z","timestamp":1605644092000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18420-1_54"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540184201","9783540479635"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-18420-1_54","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}