{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T17:30:28Z","timestamp":1743010228336,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319452784"},{"type":"electronic","value":"9783319452791"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-45279-1_10","type":"book-chapter","created":{"date-parts":[[2016,9,16]],"date-time":"2016-09-16T16:23:45Z","timestamp":1474043025000},"page":"140-155","source":"Crossref","is-referenced-by-count":0,"title":["An Algebraic Framework for Parallelizing Recurrence in Functional Programming"],"prefix":"10.1007","author":[{"given":"Rodrigo C. O.","family":"Rocha","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lu\u00eds F. W.","family":"G\u00f3es","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando M. Q.","family":"Pereira","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,17]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Berthold, J., Marlow, S., Hammond, K., Al Zain, A.: Comparing and optimising parallel Haskell implementations for multicore machines. In: ADPNA. IEEE (2009)","DOI":"10.1109\/ICPPW.2009.10"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1007\/978-3-540-78791-4_9","volume-title":"Compiler Construction","author":"U Bondhugula","year":"2008","unstructured":"Bondhugula, U., Baskaran, M., Krishnamoorthy, S., Ramanujam, J., Rountev, A., Sadayappan, P.: Automatic transformations for communication-minimized parallelization and locality optimization in the polyhedral model. In: Hendren, L. (ed.) CC 2008. LNCS, vol. 4959, pp. 132\u2013146. Springer, Heidelberg (2008)"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Bondhugula, U., Hartono, A., Ramanujam, J., Sadayappan, P.: A practical automatic polyhedral parallelizer and locality optimizer. In: PLDI. ACM (2008)","DOI":"10.1145\/1375581.1375595"},{"issue":"4","key":"10_CR4","doi-asserted-by":"crossref","first-page":"564","DOI":"10.1007\/s10766-013-0266-5","volume":"42","author":"C Brown","year":"2013","unstructured":"Brown, C., Danelutto, M., Hammond, K., Kilpatrick, P., Elliott, A.: Cost-directed refactoring for parallel erlang programs. Int. J. Parallel Programm. 42(4), 564\u2013582 (2013)","journal-title":"Int. J. Parallel Programm."},{"issue":"02","key":"10_CR5","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1142\/S0129626495000175","volume":"5","author":"M Cole","year":"1995","unstructured":"Cole, M.: Parallel programming with list homomorphisms. Parallel Process. Lett. 5(02), 191\u2013203 (1995)","journal-title":"Parallel Process. Lett."},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Collins, A., Grewe, D., Grover, V., Lee, S., Susnea, A.: NOVA: a functional language for data parallelism. In: ARRAY. ACM (2014)","DOI":"10.1145\/2627373.2627375"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","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":"Feautrier, P.: Automatic parallelization in the polytope model. In: Perrin, G.-R., Darte, A. (eds.) The Data Parallel Programming Model. LNCS, vol. 1132, pp. 79\u2013103. Springer, Heidelberg (1996)"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Fisher, A.L., Ghuloum, A.M.: Parallelizing complex scans and reductions. In: PLDI. ACM (1994)","DOI":"10.1145\/773473.178255"},{"key":"10_CR9","series-title":"Mathematics and Its Applications","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-9241-3","volume-title":"Power Algebras over Semirings: With Applications in Mathematics and Computer Science","author":"JS Golan","year":"1999","unstructured":"Golan, J.S.: Power Algebras over Semirings: With Applications in Mathematics and Computer Science. Mathematics and Its Applications, vol. 488, 1st edn. Springer, Basel (1999)","edition":"1"},{"key":"10_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-9333-5","volume-title":"Semirings and their Applications","author":"JS Golan","year":"1999","unstructured":"Golan, J.S.: Semirings and their Applications, 1st edn. Springer, Heidelberg (1999)","edition":"1"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Govindarajan, R., Anantpur, J.: Runtime dependence computation and execution of loops on heterogeneous systems. In: CGO. IEEE\/ACM (2013)","DOI":"10.1109\/CGO.2013.6494992"},{"issue":"03","key":"10_CR12","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1142\/S0129626403001380","volume":"13","author":"K Hammond","year":"2003","unstructured":"Hammond, K., Berthold, J., Loogen, R.: Automatic skeletons in template haskell. Parallel Process. Lett. 13(03), 413\u2013424 (2003)","journal-title":"Parallel Process. Lett."},{"issue":"3","key":"10_CR13","doi-asserted-by":"crossref","first-page":"444","DOI":"10.1145\/256167.256201","volume":"19","author":"Z Hu","year":"1997","unstructured":"Hu, Z., Iwasaki, H., Takechi, M.: Formal derivation of efficient parallel programs by construction of list homomorphisms. Trans. Program. Lang. Syst. 19(3), 444\u2013461 (1997)","journal-title":"Trans. Program. Lang. Syst."},{"issue":"8","key":"10_CR14","doi-asserted-by":"crossref","first-page":"786","DOI":"10.1109\/TC.1973.5009159","volume":"22","author":"PM Kogge","year":"1973","unstructured":"Kogge, P.M., Stone, H.S.: A parallel algorithm for the efficient solution of a general class of recurrence equations. Trans. Comput. 22(8), 786\u2013793 (1973)","journal-title":"Trans. Comput."},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/978-3-642-23397-5_5","volume-title":"Euro-Par 2011 Parallel Processing","author":"Y Liu","year":"2011","unstructured":"Liu, Y., Hu, Z., Matsuzaki, K.: Towards systematic parallel programming over MapReduce. In: Namyst, R., Roman, J., Jeannot, E. (eds.) Euro-Par 2011, Part II. LNCS, vol. 6853, pp. 39\u201350. Springer, Heidelberg (2011)"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Marlow, S., Maier, P., Loidl, H.W., Aswad, M.K., Trinder, P.W.: Seq no more: Better strategies for parallel Haskell. In: Haskell Symposium. ACM Press (2010)","DOI":"10.1145\/1863523.1863535"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Marlow, S., Peyton Jones, S., Singh, S.: Runtime support for multicore haskell. In: ICFP, pp. 65\u201378. ACM (2009)","DOI":"10.1145\/1596550.1596563"},{"issue":"2","key":"10_CR18","first-page":"88","volume":"12","author":"S Misailovic","year":"2013","unstructured":"Misailovic, S., Kim, D., Rinard, M.: Parallelizing sequential programs with statistical accuracy tests. Trans. Embed. Comput. Syst. 12(2), 88 (2013)","journal-title":"Trans. Embed. Comput. Syst."},{"key":"10_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1007\/978-3-642-12251-4_23","volume-title":"Functional and Logic Programming","author":"A Morihata","year":"2010","unstructured":"Morihata, A., Matsuzaki, K.: Automatic parallelization of recursive functions using quantifier elimination. In: Blume, M., Kobayashi, N., Vidal, G. (eds.) FLOPS 2010. LNCS, vol. 6009, pp. 321\u2013336. Springer, Heidelberg (2010)"},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"Morita, K., Morihata, A., Matsuzaki, K., Hu, Z., Takeichi, M.: Automatic inversion generates divide-and-conquer parallel programs. In: PLDI. ACM (2007)","DOI":"10.1145\/1250734.1250752"},{"key":"10_CR21","volume-title":"Advanced Modern Algebra","author":"JJ Rotman","year":"2003","unstructured":"Rotman, J.J.: Advanced Modern Algebra, 2nd edn. Prentice Hall, Upper Saddle River (2003)","edition":"2"},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"Sato, S., Iwasaki, H.: Automatic parallelization via matrix multiplication. In: PLDI. ACM (2011)","DOI":"10.1145\/1993498.1993554"},{"key":"10_CR23","unstructured":"Schlecht, S.J., Habets, E.A.P.: Connections between parallel and serial combinations of comb filters and feedback delay networks. In: IWAENC (2012)"},{"key":"10_CR24","doi-asserted-by":"crossref","unstructured":"Trifunovic, K., Nuzman, D., Cohen, A., Zaks, A., Rosen, I.: Polyhedral-model guided loop-nest auto-vectorization. In: PACT. IEEE (2009)","DOI":"10.1109\/PACT.2009.18"},{"issue":"1","key":"10_CR25","first-page":"2","volume":"11","author":"Z Wang","year":"2014","unstructured":"Wang, Z., Tournavitis, G., Franke, B., O\u2019Boyle, M.F.P.: Integrating profile-driven parallelism detection and machine-learning-based mapping. Trans. Archit. Code Optim. 11(1), 2 (2014)","journal-title":"Trans. Archit. Code Optim."},{"key":"10_CR26","doi-asserted-by":"crossref","unstructured":"Zou, Y., Rajopadhye, S.: Scan detection and parallelization in \u201cinherently sequential\" nested loop programs. In: CGO. ACM (2012)","DOI":"10.1145\/2259016.2259027"}],"container-title":["Lecture Notes in Computer Science","Programming Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-45279-1_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,13]],"date-time":"2019-09-13T13:06:52Z","timestamp":1568380012000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-45279-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319452784","9783319452791"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-45279-1_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}