{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:02:47Z","timestamp":1725663767898},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540552536"},{"type":"electronic","value":"9783540468035"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55253-7_15","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T04:56:40Z","timestamp":1330232200000},"page":"254-268","source":"Crossref","is-referenced-by-count":5,"title":["Automatic parallelization of lazy functional programs"],"prefix":"10.1007","author":[{"given":"Guido","family":"Hogen","sequence":"first","affiliation":[]},{"given":"Andrea","family":"Kindler","sequence":"additional","affiliation":[]},{"given":"Rita","family":"Loogen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"S.Abramsky: Strictness Analysis and Polymorphic Invariance, Workshop on Programs as Data Objects, LNCS 217, Springer Verlag 1985.","DOI":"10.1007\/3-540-16446-4_1"},{"key":"15_CR2","unstructured":"S.Abramsky, C.Hankin (eds.): Abstract Interpretation of Declarative Languages, Ellis Horwood Limited 1987."},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"G.Burn, C.L.Hankin, S.Abramsky: Strictness Analysis for Higher-Order Functions, Science of Computer Programming, Vol.7, November 1986.","DOI":"10.1016\/0167-6423(86)90010-9"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"G.Burn: Evaluation Transformers \u2014 A Model for the Parallel Evaluation of Functional Languages, Conf. on Functional Progr. Lang. and Computer Architecture, LNCS 274, Springer Verlag 1987.","DOI":"10.1007\/3-540-18317-5_24"},{"key":"15_CR5","volume-title":"Ph.D. Thesis","author":"G. Burn","year":"1987","unstructured":"G.Burn: Abstract Interpretation and the Parallel Evaluation of Functional Languages, Ph.D. Thesis, Imperial College, London 1987."},{"key":"15_CR6","volume-title":"Report 53","author":"G. Burn","year":"1988","unstructured":"G.Burn: A shared memory parallel G-machine based on the evaluation transformer model of computation, Workshop on the Impl. of Lazy Functional Languages, Report 53, Programming Methodology Group, Chalmers University of Technology, G\u00f6teborg 1988."},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"C.Clack, S.Peyton-Jones: Strictness Analysis \u2014 A Practical Approach, Conf. on Functional Progr. Languages and Computer Architecture, LNCS 201, Springer Verlag 1985.","DOI":"10.1007\/3-540-15975-4_28"},{"key":"15_CR8","unstructured":"M.C.J.D.van Eekelen, M.J.Plasmeijer, J.E.W.Smeetsers: Parallel Graph Rewriting on Loosely Coupled Machine Architectures, Technical Report 88-9, University of Nijmegen 1988."},{"key":"15_CR9","unstructured":"K.Hammond, S.Peyton-Jones: Some Early Experiments on the GRIP Parallel Reducer, Workshop on the Impl. of Functional Languages on Parallel Architectures, Technical Report no. 90-16, University of Nijmegen 1990."},{"key":"15_CR10","unstructured":"P.Hartel, H.Glaser, J.Wild: On the Benefits of Different Analyses in the Compilation of Lazy Functional Languages, Workshop on the Parallel Impl. of Functional Languages, Technical Report CSTR 91-7, University of Southampton 1991."},{"key":"15_CR11","unstructured":"G.Hogen: Integration of the Evaluator Technique in the Parallel Abstract Machine PAM, Diploma Thesis, RWTH Aachen 1991 (in german)."},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"P.Hudak: Para-functional programming, a paradigm for programming multiprocessor systems, ACM Symp. on Principles of Progr. Languages 1986.","DOI":"10.1145\/512644.512667"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"P.Hudak, B.Goldberg: Serial Combinators: Optimal Grains of Parallelism, Conf. on Functional Progr. Languages and Computer Architecture, LNCS 201, Springer Verlag 1985.","DOI":"10.1007\/3-540-15975-4_49"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"P.Hudak, B.Goldberg: Efficient Distributed Evaluation of Functional Programs Using Serial Combinators, IEEE Transactions on Computers, Vol. C-34, No. 10, October 85.","DOI":"10.1109\/TC.1985.6312191"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"P.Hudak, J.Young: Higher Order Strictness Analysis in Untyped Lambda Calculus, ACM Symp. on Principles of Progr. Languages, POPL 1986.","DOI":"10.1145\/512644.512653"},{"key":"15_CR16","unstructured":"J.Hughes: Compile-time analysis of functional programs, in Turner (ed.): Research Topics in Functional Programming, Addison-Wesley 1990."},{"key":"15_CR17","unstructured":"Th.Johnsson: Lambda Lifting, Conf. on Functional Progr. Languages and Computer Architectures 1985, LNCS 201, Springer Verlag 1985."},{"key":"15_CR18","volume-title":"Diploma Thesis","author":"A. Kindler","year":"1991","unstructured":"A.Kindler: Automatic Parallelization of Functional Programs, Diploma Thesis, RWTH Aachen 1991 (in german)."},{"key":"15_CR19","volume-title":"Comparison of Dynamic Load Balancing Strategies","author":"H. Kuchen","year":"1990","unstructured":"H. Kuchen, A. Wagener: Comparison of Dynamic Load Balancing Strategies, Workshop on Distributed and Parallel Processing, Sofia 1990, Elsevier Publishers 1990."},{"key":"15_CR20","unstructured":"D.Lester, G.Burn: An Executable Specification of the HDG-Machine, Technical Report, GEC Research Centre, East Lane, Wembley, Middlesex HA9 7PP, United Kingdom."},{"key":"15_CR21","doi-asserted-by":"crossref","unstructured":"R.Loogen, H.Kuchen, K.Indermark, W.Damm: Distributed Implementation of Programmed Graph Reduction, Conf. on Parallel Architectures and Languages Europe 1989, LNCS 365, Springer Verlag 1989.","DOI":"10.1007\/3540512845_37"},{"key":"15_CR22","doi-asserted-by":"crossref","unstructured":"C.Martin, C.Hankin: Finding Fixed Points in Finite Lattices, Conf. on Functional Progr. Languages and Computer Architecture, LNCS 274, Springer Verlag 1987.","DOI":"10.1007\/3-540-18317-5_23"},{"key":"15_CR23","doi-asserted-by":"crossref","unstructured":"D.Maurer: Strictness Computations Using Special \u03bb-expressions, Workshop on Programs as Data Objects, LNCS 217, Springer Verlag 1985.","DOI":"10.1007\/3-540-16446-4_8"},{"key":"15_CR24","unstructured":"D.McBurney, R.Sleep: Concurrent Clean on ZAPP, Workshop on the Impl. of Functional Lang. on Parallel Architectures, Technical Report no. 90-16, University of Nijmegen 1990."},{"key":"15_CR25","unstructured":"A.Mycroft: Abstract Interpretation and Optimizing Transformations for Applicative Programs, Ph.D. Thesis, University of Edinburgh, 1981."},{"key":"15_CR26","unstructured":"E.N\u00f6cker: Strictness Analysis Using Abstract Reduction, Workshop on the Impl. of Functional Languages on Parallel Architectures, Technical Report no. 90-16, University of Nijmegen 1990."},{"key":"15_CR27","doi-asserted-by":"crossref","unstructured":"M.Raber, Th.Remmel, E.Hoffmann, D.Maurer, F.M\u00fcller, H.-G.Oberhauser, R.Wilhelm: Compiled Graph Reduction on a Processor Network, GI\/ITG Tagung, Paderborn, Informatik Fachberichte, Springer Verlag 1988.","DOI":"10.1007\/978-3-642-73451-9_16"},{"key":"15_CR28","unstructured":"J.Vrancken: Reflections on Parallel Functional Languages, Workshop on the Impl. of Functional Lang. on Parallel Architectures, Technical Report no. 90-16, University of Nijmegen 1990."},{"key":"15_CR29","unstructured":"P.Wadler: Strictness analysis on non-flat domains (by Abstract interpretation over finite domains), in: [Abramsky, Hankin 87]."},{"key":"15_CR30","doi-asserted-by":"crossref","unstructured":"P.Wadler, J.Hughes: Projections for Strictness Analysis, Conf. on Functional Progr. Languages and Computer Architecture, LNCS 274, Springer Verlag 1987.","DOI":"10.1007\/3-540-18317-5_21"},{"key":"15_CR31","unstructured":"J.Young, P.Hudak: Finding Fixpoints on Function Spaces, Research Report YALEU\/DCS\/RR-505, Yale University, December 1986."}],"container-title":["Lecture Notes in Computer Science","ESOP '92"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55253-7_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:58:24Z","timestamp":1605628704000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55253-7_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540552536","9783540468035"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3-540-55253-7_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}