{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T12:10:33Z","timestamp":1737375033169,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678588"},{"type":"electronic","value":"9783540449058"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44905-1_14","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T11:04:03Z","timestamp":1187262243000},"page":"219-235","source":"Crossref","is-referenced-by-count":1,"title":["Application of the Polytope Model to Functional Programs"],"prefix":"10.1007","author":[{"given":"Nils","family":"Ellmenreich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Lengauer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Griebl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,12]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"G. E. Blelloch, S. Chatterjee, J. C. Hardwick, J. Sipelstein, and M. Zagha. Implementation of a portable nested data-parallel language. In Principles and Practices of Parallel Programming, pages 102\u2013111, 1993.","DOI":"10.21236\/ADA270524"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"A. P. W. B\u00f6hm, R. R. Oldehoeft, D. C. Cann, and J. T. Feo. SISAL Reference Manual, Language Version 2.0. Colorado State University-Lawrence Livermore National Laboratory, 1992.","DOI":"10.2172\/5688849"},{"key":"14_CR3","unstructured":"M. C. Chen. Placement and interconnection of systolic processing elements: A new LU-decomposition algorithm. In Proc. IEEE Int. Conf. on Computer Design (ICCD\u201986), pages 275\u2013281. IEEE Press, 1986."},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"M. C. Chen, Y. Choo, and J. Li. Crystal: Theory and pragmatics of generating efficient parallel code. In B. K. Szymanski, editor, Parallel Functional Languages and Compilers, Frontier Series, chapter 7. ACM Press, 1991.","DOI":"10.1145\/107214.129259"},{"issue":"2","key":"14_CR5","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/BF02577789","volume":"23","author":"J.-F. Collard","year":"1995","unstructured":"J.-F. Collard. Automatic parallelization of while-loops using speculative execution. Int. J. Parallel Programming, 23(2):191\u2013219, 1995.","journal-title":"Int. J. Parallel Programming"},{"key":"14_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/BFb0046628","volume-title":"High-Performance Computing & Networking (HPCN\u201995)","author":"M. Dion","year":"1995","unstructured":"M. Dion and Y. Robert. Mapping affine loop nests: New results. In B. Hertzberger and G. Serazzi, editors, High-Performance Computing & Networking (HPCN\u201995), LNCS 919, pages 184\u2013189. Springer-Verlag, 1995."},{"key":"14_CR7","unstructured":"N. Ellmenreich, M. Griebl, and C. Lengauer. Applicability of the polytope model to functional programs. In H. Kuchen, editor, Proc. 7th Int. Workshop on Functional and Logic Programming. Institut f\u00fcr Wirtschaftsinformatik, Westf. Wilhelms-Universit\u00e4t M\u00fcnster, Apr. 1998."},{"issue":"5","key":"14_CR8","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/BF01407835","volume":"21","author":"P. Feautrier","year":"1992","unstructured":"P. Feautrier. Some efficient solutions to the affine scheduling problem. Part I. One-dimensional time. Int. J. Parallel Programming, 21(5):313\u2013348, 1992.","journal-title":"Int. J. Parallel Programming"},{"issue":"3","key":"14_CR9","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1142\/S0129626494000235","volume":"4","author":"P. Feautrier","year":"1994","unstructured":"P. Feautrier. Toward automatic distribution. Parallel Processing Letters, 4(3):233\u2013244, 1994.","journal-title":"Parallel Processing Letters"},{"key":"14_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/3-540-61736-1_44","volume-title":"The Data Parallel Programming Model","author":"P. Feautrier","year":"1996","unstructured":"P. Feautrier. Automatic parallelization in the polytope model. InG.-R. Perrin and A.. Darte, editors, The Data Parallel Programming Model, LNCS 1132, pages 79\u2013103. Springer-Verlag, 1996."},{"key":"14_CR11","unstructured":"C. F. Gerald. Applied Numerical Analysis. Addison-Wesley, 2nd edition, 1978."},{"key":"14_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"603","DOI":"10.1007\/BFb0017283","volume-title":"Languages and Compilers for Parallel Computing (LCPC\u201996)","author":"M. Griebl","year":"1997","unstructured":"M. Griebl and C. Lengauer. The loop parallelizer LooPo\u2014Announcement. In D. Sehr, U. Banerjee, D. Gelernter, A. Nicolau, and D. Padua, editors, Languages and Compilers for Parallel Computing (LCPC\u201996), LNCS 1239, pages 603\u2013604. Springer-Verlag, 1997."},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"M. Griebl, C. Lengauer, and S. Wetzel. Code generation in the polytope model. In Proc. Int. Conf. on Parallel Architectures and Compilation Techniques (PACT\u201998), pages 106\u2013111. IEEE Computer Society Press, 1998.","DOI":"10.1109\/PACT.1998.727179"},{"issue":"4","key":"14_CR14","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1142\/S0129626496000479","volume":"6","author":"C. A. Herrmann","year":"1996","unstructured":"C. A. Herrmann and C. Lengauer. On the space-time mapping of a class of divide-and-conquer recursions. Parallel Processing Letters, 6(4):525\u2013537, 1996.","journal-title":"Parallel Processing Letters"},{"key":"14_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/BFb0033839","volume-title":"Programming Languages: Implementation, Logics, and Programs (PLILP\u201997)","author":"C. A. Herrmann","year":"1997","unstructured":"C. A. Herrmann and C. Lengauer. Transformation of divide & conquer to nested parallel loops. In H. Glaser, P. Hartel, and H. Kuchen, editors, Programming Languages: Implementation, Logics, and Programs (PLILP\u201997), LNCS 1292, pages 95\u2013109. Springer-Verlag, 1997."},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"F. Irigoin and R. Triolet. Supernode partitioning. In Proceedings of the Fifteenth Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pages 319\u2013329. ACM, 1988.","DOI":"10.1145\/73560.73588"},{"key":"14_CR17","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/BF00925828","volume":"3","author":"H. L. Verge","year":"1991","unstructured":"H. Le Verge, C. Mauras, and P. Quinton. The ALPHA language and its use for the design of systolic arrays. J. VLSI Signal Processing, 3:173\u2013182, 1991.","journal-title":"J. VLSI Signal Processing"},{"key":"14_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"398","DOI":"10.1007\/3-540-57208-2_28","volume-title":"CONCUR\u201993","author":"C. Lengauer","year":"1993","unstructured":"C. Lengauer. Loop parallelization in the polytope model. In E. Best, editor, CONCUR\u201993, Lecture Notes in Computer Science 715, pages 398\u2013416. Springer-Verlag, 1993."},{"key":"14_CR19","series-title":"Lect Notes Comput Sci","volume-title":"Implementation of Functional Languages (IFL 97)","author":"H.-W. Loidl","year":"1997","unstructured":"H.-W. Loidl and P. W. Trinder. Engineering large parallel functional programs. In C. Clack, K. Hammond, and T. Davie, editors, Implementation of Functional Languages (IFL 97), LNCS 1467. Springer-Verlag, September1997."},{"key":"14_CR20","unstructured":"R. S. Nikhil. Id (Version 90.1) Reference Manual. CSG-Memo-284-2, MIT, Computation Structures Group, 1991."},{"key":"14_CR21","unstructured":"R. S. Nikhil, Arvind, J. Hicks, S. Aditya, L. Augustsson, J.-W. Maessen, and Y. Zhou. pH Language Reference Manual, Version 1.0. CSG-Memo-369, Computation Structures Group, MIT, 1995."},{"key":"14_CR22","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"662","DOI":"10.1007\/BFb0002797","volume-title":"EuroPar\u201997: Parallel Processing","author":"J. O\u2019Donnell","year":"1997","unstructured":"J. O\u2019Donnell and G. R\u00fcnger. A methodology for deriving abstract parallel programs with a family of parallel abstract machines. In C. Lengauer, M. Griebl, and S. Gorlatch, editors, EuroPar\u201997: Parallel Processing, LNCS 1300, pages 662\u2013669. Springer-Verlag, 1997."},{"key":"14_CR23","unstructured":"S. Peyton-Jones and J. Hughes editors. Haskell 98, A Non-Strict, Purely Functional Language, February 1999. http:\/\/www.haskell.org\/onlinereport ."},{"key":"14_CR24","unstructured":"R. Plasmeijer and M. v. Eekelen. Functional Programming and Parallel Graph Rewriting. International Computer Science Series. Addison-Wesley, 1993."},{"key":"14_CR25","doi-asserted-by":"crossref","unstructured":"P. Quinton, S. Rajopadhye, and D. Wilde. Derivation of data parallel code from a functional program. In Proc. 9th Int. Parallel Processing Symposium (IPPS\u201995), pages 766\u2013772. IEEE Computer Society Press, Apr. 1995.","DOI":"10.1109\/IPPS.1995.395863"},{"key":"14_CR26","unstructured":"D. K. Wilde. From alpha to Imperative Code: A Transformational Compiler for an Array Based Functional Language. PhD thesis, Department of Computer Science,Oregon State University, July 1995."}],"container-title":["Lecture Notes in Computer Science","Languages and Compilers for Parallel Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44905-1_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T11:36:04Z","timestamp":1737372964000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44905-1_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678588","9783540449058"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-44905-1_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}