{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:32:36Z","timestamp":1725456756040},"publisher-location":"Berlin\/Heidelberg","reference-count":19,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540529535"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0029601","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T05:33:46Z","timestamp":1133415226000},"page":"135-151","source":"Crossref","is-referenced-by-count":2,"title":["Implementation of parallel graph reduction by explicit annotation and program transformation"],"prefix":"10.1007","author":[{"given":"Willem G.","family":"Vree","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"10_CR1","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1016\/0167-739X(87)90030-6","volume":"3","author":"H.P. Barendregt","year":"1987","unstructured":"H.P. Barendregt, M.C.J.D. van Eekelen, M.J. Plasmeijer, P.H. Hartel, L.O. Hertzberger, W.G. Vree, The Dutch parallel reduction machine project, Future generations computer systems, Vol 3, No 4, pp 261\u2013270, Dec 1987.","journal-title":"Future generations computer systems"},{"issue":"3","key":"10_CR2","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1002\/spe.4380180305","volume":"18","author":"P.H. Hartel","year":"1988","unstructured":"P.H. Hartel, A.H. Veen, Statistics on graph reduction of SASL programs, Software practice and experience, Vol. 18, No. 3, March 1988, pp 239\u2013253","journal-title":"Software practice and experience"},{"key":"10_CR3","unstructured":"P.H. Hartel, Performance analysis of stroage management in combinator graph reduction, Ph. D. thesis, Dept. of Comp. Sys., University of Amsterdam, 1989"},{"key":"10_CR4","first-page":"269","volume":"365","author":"L.O. Hertzberger","year":"1989","unstructured":"L.O. Hertzberger, W.G. Vree, A Coarse Grain Parallel Architecture for Declarative Languages, in Conf. on Parallel Architectures and Languages Europe (PARLE), Eindhoven, the Netherlands, LNCS vol. 365, pp 269\u2013285, June 1989","journal-title":"LNCS"},{"issue":"10","key":"10_CR5","doi-asserted-by":"crossref","first-page":"881","DOI":"10.1109\/TC.1985.6312191","volume":"C-34","author":"P. Hudak","year":"1985","unstructured":"P. Hudak, B. Goldberg, Distributed execution of functional programs using serial combinators, IEEE Transactions on computers, Vol. C-34, No. 10, pp 881\u2013891, Oct. 1985.","journal-title":"IEEE Transactions on computers"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"R.J.M. Hughes, Super combinators \u2014 a new implementation method for applicative languages, in ACM symp. on Lisp and functional programming, Pittsburg, Aug. 1982, pp 1\u201310.","DOI":"10.1145\/800068.802129"},{"issue":"6","key":"10_CR7","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1145\/502949.502880","volume":"19","author":"T. Johnsson","year":"1984","unstructured":"T. Johnsson, Efficient compilation of lazy evaluation, Proc. of the ACM Sigplan '84, Sigplan Notices, Vol. 19, No 6, June 1984, pp 58\u201369.","journal-title":"Proc. of the ACM Sigplan '84, Sigplan Notices"},{"key":"10_CR8","unstructured":"G. Kahn, The semantics of a simple language for parallel programming, in Information Processing 74, North-Holland Publishing Company, pp 471\u2013475"},{"key":"10_CR9","unstructured":"P. Kelly, Functional programming for loosely-coupled \/multiprocessors, in series \u2018research monographs in parallel and distributed computing', Pitman & MIT Press, April 1989"},{"key":"10_CR10","first-page":"242","volume":"259","author":"D.L. McBurney","year":"1987","unstructured":"D.L. McBurney, M.R. Sleep, Transputer-based experiments with the ZAPP architecture, in Conf. on parallel architectures and languages Europe (PARLE), part I, Eindhoven, the Netherlands, LNCS 259, pp. 242\u2013259, June 1987.","journal-title":"LNCS"},{"key":"10_CR11","volume-title":"The implementation of functional programming languages","author":"S.L. Peyton-Jones","year":"1987","unstructured":"S.L. Peyton-Jones, The implementation of functional programming languages, Prentice Hall, Englewood Cliffs, New Jersey, 1987"},{"key":"10_CR12","first-page":"98","volume":"274","author":"S.L. Peyton-Jones","year":"1987","unstructured":"S.L. Peyton-Jones, C. Clack, J. Salkild, M. Hardie, GRIP-a high performance architecture for parallel graph reduction, Proceedings of the Third International Conference on Functional Programming Languages and Computer Architecture (FPCA '87), Portland, Oregon, USA, LNCS 274, pp. 98\u2013112, September 1987.","journal-title":"LNCS"},{"issue":"1","key":"10_CR13","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1002\/spe.4380090105","volume":"9","author":"D.A. Turner","year":"1979","unstructured":"D.A. Turner, A new implementation technique for applicative languages, Software practice and experience, Vol. 9, No. 1, pp 31\u201349, Jan. 1979","journal-title":"Software practice and experience"},{"key":"10_CR14","unstructured":"W.G. Vree, The grain size of parallel computations in a functional program, in Conf. on parallel processing and applications, l'Aquila, Italy, September 1987, Elsevier Science Publishing, pp 363\u2013370."},{"key":"10_CR15","unstructured":"W.G. Vree, Design considerations for a parallel reduction machine, Ph. D. thesis, Dept. of Comp. Sys., University of Amsterdam, 1989."},{"key":"10_CR16","volume-title":"Semantics and Pragmatics of the Lambda-calculus","author":"C.P. Wadsworth","year":"1971","unstructured":"C.P. Wadsworth, Semantics and Pragmatics of the Lambda-calculus, Ph. D. thesis, Oxford University, U.K., 1971."},{"issue":"2","key":"10_CR17","doi-asserted-by":"crossref","first-page":"170","DOI":"10.1145\/355945.355947","volume":"7","author":"H.H. Wang","year":"1981","unstructured":"H.H. Wang, A parallel method for Tridiagonal Equations, ACM transactions on Mathematical Software, Vol 7, No 2, June 1981, pp 170\u2013183","journal-title":"ACM transactions on Mathematical Software"},{"key":"10_CR18","first-page":"80","volume":"274","author":"P. Watson","year":"1987","unstructured":"P. Watson, I. Watson, Evaluating functional program on the FLAGSHIP machine, Proceedings of the Third International Conference on Functional Programming Languages and Computer Architecture (FPCA '87), Portland, Oregon, USA, LNCS 274, pp. 80\u201397, September 1987.","journal-title":"LNCS"},{"key":"10_CR19","unstructured":"S.C. Wray, Implementing and programming techniques for functional languages, PhD. thesis, Tech. Rep. 92, Univ. of Cambridge, Jan 1986."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1990"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0029601","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T08:15:35Z","timestamp":1586592935000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0029601"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540529535"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/bfb0029601","relation":{},"subject":[]}}