{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:24:42Z","timestamp":1725891882968},"publisher-location":"Berlin, Heidelberg","reference-count":49,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540468431"},{"type":"electronic","value":"9783540468455"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11894100_3","type":"book-chapter","created":{"date-parts":[[2006,11,9]],"date-time":"2006-11-09T13:11:30Z","timestamp":1163077890000},"page":"62-99","source":"Crossref","is-referenced-by-count":1,"title":["Functional Array Programming in SaC"],"prefix":"10.1007","author":[{"given":"Sven-Bodo","family":"Scholz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","volume-title":"Optimizing Compilers for Modern Architectures","author":"R. Allen","year":"2001","unstructured":"Allen, R., Kennedy, K.: Optimizing Compilers for Modern Architectures. Morgan Kaufmann Publishers, San Francisco (2001)"},{"key":"3_CR2","unstructured":"Sharp, I.P & Associates. SHARP APL Release 19.0 Guide for APL Programmers. I.P Sharp & Associates Ltd.(1987)"},{"key":"3_CR3","series-title":"APL Quote Quad","first-page":"20","volume-title":"Proceedings of the International Conference on Array Processing Languages (APL 1991)","author":"J.P. Benkard","year":"1991","unstructured":"Benkard, J.P.: Extending Structure, Type, and Expression in APL-2. In: Proceedings of the International Conference on Array Processing Languages (APL 1991), Palo Alto, California, USA. APL Quote Quad, vol.\u00a021, pp. 20\u201329. ACM Press, New York (1991)"},{"key":"3_CR4","series-title":"APL Quote Quad","first-page":"7","volume-title":"Proceedings of the International Conference on Array Processing Languages (APL 1992)","author":"J.P. Benkard","year":"1992","unstructured":"Benkard, J.P.: Nested Arrays and Operators \u2014 Some Issues in Depth. In: Proceedings of the International Conference on Array Processing Languages (APL 1992), St.Petersburg, Russia. APL Quote Quad, pp. 7\u201321. ACM Press, New York (1992)"},{"key":"3_CR5","series-title":"APL Quote Quad","first-page":"39","volume-title":"Proceedings of the International Conference on Array Processing Languages (APL 1988)","author":"R. Bernecky","year":"1988","unstructured":"Bernecky, R.: An Introduction to Function Rank. In: Proceedings of the International Conference on Array Processing Languages (APL 1988), Sydney, Australia. APL Quote Quad, vol.\u00a018, pp. 39\u201343. ACM Press, New York (1988)"},{"key":"3_CR6","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1145\/255315.255685","volume":"15","author":"J. Brown","year":"1985","unstructured":"Brown, J.: Inside the APL2 Workspace. SIGAPL Quote Quad\u00a015, 277\u2013282 (1985)","journal-title":"SIGAPL Quote Quad"},{"key":"3_CR7","volume-title":"J and APL","author":"C. Burke","year":"1996","unstructured":"Burke, C.: J and APL. Iverson Software Inc., Toronto, Canada (1996)"},{"key":"3_CR8","unstructured":"Cann, D.C.: Compilation Techniques for High Performance Applicative Computation. Technical Report CS-89-108, Lawrence Livermore National Laboratory, LLNL, Livermore California (1989)"},{"issue":"8","key":"3_CR9","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1145\/135226.135231","volume":"35","author":"D.C. Cann","year":"1992","unstructured":"Cann, D.C.: Retire Fortran? A Debate Rekindled. Communications of the ACM\u00a035(8), 81\u201389 (1992)","journal-title":"Communications of the ACM"},{"key":"3_CR10","unstructured":"Cann, D.C.: The Optimizing SISAL Compiler: Version 12.0. Lawrence Livermore National Laboratory, LLNL, Livermore California, Part of the SISAL distribution (1993)"},{"key":"3_CR11","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1145\/154630.154643","volume-title":"Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantic-Based Program Manipulation (PEPM 1997)","author":"W.N. Chin","year":"1993","unstructured":"Chin, W.N.: Towards an Automated Tupling Strategy. In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantic-Based Program Manipulation (PEPM 1997), Copenhagen, Denmark, pp. 119\u2013132. ACM Press, New York (1993)"},{"issue":"4","key":"3_CR12","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1017\/S0956796800001179","volume":"4","author":"W.-N. Chin","year":"1994","unstructured":"Chin, W.-N.: Safe Fusion of Functional Expressions II: Further Improvements. Journal of Functional Programming\u00a04(4), 515\u2013550 (1994)","journal-title":"Journal of Functional Programming"},{"key":"3_CR13","first-page":"106","volume-title":"Proceedings of the Fuji International Workshop on Functional and Logic Programming","author":"W.N. Chin","year":"1995","unstructured":"Chin, W.N.: Fusion and Tupling Transformations: Synergies and Conflicts. In: Proceedings of the Fuji International Workshop on Functional and Logic Programming, Susono, Japan, pp. 106\u2013125. World Scientific Publishing, Singapore (1995)"},{"key":"3_CR14","first-page":"160","volume-title":"Proceedings of the 1999 ACM SIGPLAN International Conference on Functional Programming (ICFP 1999)","author":"O. Chitil","year":"1999","unstructured":"Chitil, O.: Type Inference Builds a Short Cut to Deforestation. In: Proceedings of the 1999 ACM SIGPLAN International Conference on Functional Programming (ICFP 1999), vol.\u00a034(9), pp. 160\u2013249. ACM Press, New York (1999)"},{"key":"3_CR15","volume-title":"Proceedings of ICFP 2001","author":"M.M.T. Chakravarty","year":"2001","unstructured":"Chakravarty, M.M.T., Keller, G.: Functional Array Fusion. In: Leroy, X. (ed.) Proceedings of ICFP 2001. ACM Press, New York (2001)"},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/978-3-540-44833-4_2","volume-title":"Advanced Functional Programming","author":"M.M.T. Chakravarty","year":"2003","unstructured":"Chakravarty, M.M.T., Keller, G.: An Approach to Fast Arrays in Haskell. In: Jeuring, J., Jones, S.L.P. (eds.) AFP 2002. LNCS, vol.\u00a02638, pp. 27\u201358. Springer, Heidelberg (2003)"},{"key":"3_CR17","first-page":"93","volume-title":"Arrays in Sisal, ch.\u00a05","author":"J.T. Feo","year":"1991","unstructured":"Feo, J.T.: Arrays, Functional Languages, and Parallel Systems. In: Arrays in Sisal, ch.\u00a05, pp. 93\u2013106. Kluwer Academic Publishers, Dordrecht (1991)"},{"key":"3_CR18","unstructured":"Gill, A.: Cheap Deforestation for Non-strict Functional Languages. PhD thesis, Glasgow University (1996)"},{"key":"3_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/10722298_5","volume-title":"Implementation of Functional Languages","author":"C. Grelck","year":"2000","unstructured":"Grelck, C., Kreye, D., Scholz, S.-B.: On Code Generation for Multi-Generator WITH-Loops in SAC. In: Koopman, P., Clack, C. (eds.) IFL 1999. LNCS, vol.\u00a01868, pp. 77\u201395. Springer, Heidelberg (2000)"},{"key":"3_CR20","unstructured":"Grelck, C.: Implicit Shared Memory Multiprocessor Support for the Functional Programming Language SAC - Single Assignment C. PhD thesis, Institut f\u00fcr Informatik und Praktische Mathematik, Universit\u00e4t Kiel (2001)"},{"key":"3_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1007\/3-540-44520-X_87","volume-title":"Euro-Par 2000 Parallel Processing","author":"C. Grelck","year":"2000","unstructured":"Grelck, C., Scholz, S.B.: HPF vs. SAC \u2013 A Case Study. In: Bode, A., Ludwig, T., Karl, W.C., Wism\u00fcller, R. (eds.) Euro-Par 2000. LNCS, vol.\u00a01900, pp. 620\u2013624. Springer, Heidelberg (2000)"},{"key":"3_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/3-540-44854-3_12","volume-title":"Implementation of Functional Languages","author":"C. Grelck","year":"2003","unstructured":"Grelck, C., Scholz, S.B.: Axis Control in SaC. In: Pe\u00f1a, R., Arts, T. (eds.) IFL 2002. LNCS, vol.\u00a02670, pp. 182\u2013198. Springer, Heidelberg (2003)"},{"key":"3_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/978-3-540-27861-0_8","volume-title":"Implementation of Functional Languages","author":"C. Grelck","year":"2004","unstructured":"Grelck, C., Scholz, S.-B., Trojahner, K.: WITH-Loop Scalarization \u2013 Merging Nested Array Operations. In: Trinder, P., Michaelson, G.J., Pe\u00f1a, R. (eds.) IFL 2003. LNCS, vol.\u00a03145, pp. 118\u2013134. Springer, Heidelberg (2004)"},{"key":"3_CR24","volume-title":"Proceedings of the 2nd ICFP","author":"Z. Hu","year":"1997","unstructured":"Hu, Z., Iwasaki, H.: Tupling Calculation Eliminates Multiple Data Traversals. In: Proceedings of the 2nd ICFP. ACM Press, New York (1997)"},{"key":"3_CR25","series-title":"Lecture Notes in Computer Science","first-page":"395","volume-title":"Implementation and Application of Functional Languages","author":"S. Herhut","year":"2005","unstructured":"Herhut, S., Scholz, S.-B.: Towards Fully Controlled Overloading Across Module Boundaries. In: Grelck, C., Huch, F., Michaelson, G.J., Trinder, P. (eds.) IFL 2004. LNCS, vol.\u00a03474, pp. 395\u2013408. Springer, Heidelberg (2005)"},{"issue":"4","key":"3_CR26","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1145\/206944.206968","volume":"25","author":"R. Hui","year":"1995","unstructured":"Hui, R.: Rank and Uniformity. APL Quote Quad\u00a025(4), 83\u201390 (1995)","journal-title":"APL Quote Quad"},{"key":"3_CR27","unstructured":"International Standards Organization. International Standard for Programming Language APL. Iso n8485, ISO (1984)"},{"key":"3_CR28","volume-title":"A Programming Language","author":"K.E. Iverson","year":"1962","unstructured":"Iverson, K.E.: A Programming Language. Wiley, New York (1962)"},{"key":"3_CR29","volume-title":"Programming in J","author":"K.E. Iverson","year":"1991","unstructured":"Iverson, K.E.: Programming in J. Iverson Software Inc., Toronto, Canada (1991)"},{"key":"3_CR30","volume-title":"J Introduction and Dictionary","author":"K.E. Iverson","year":"1995","unstructured":"Iverson, K.E.: J Introduction and Dictionary. Iverson Software Inc., Toronto, Canada (1995)"},{"key":"3_CR31","unstructured":"Jenkins, M.A., Falster, P.: Array Theory and NIAL. Technical Report 157, Technical University of Denmark, ELTEK, Lyngby, Denmark (1999)"},{"issue":"1","key":"3_CR32","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0096-0551(89)90029-5","volume":"14","author":"M.A. Jenkins","year":"1989","unstructured":"Jenkins, M.A., Glasgow, J.I.: A Logical Basis for Nested Array Data Structures. Computer Languages Journal\u00a014(1), 35\u201351 (1989)","journal-title":"Computer Languages Journal"},{"key":"3_CR33","volume-title":"The Q\u2019Nial Language and Reference Manuals","author":"M.A. Jenkins","year":"1993","unstructured":"Jenkins, M.A., Jenkins, W.H.: The Q\u2019Nial Language and Reference Manuals. Nial Systems Ltd., Ottawa, Canada (1993)"},{"key":"3_CR34","unstructured":"Kreye, D.J.: A Compiler Backend for Generic Programming with Arrays. PhD thesis, Institut f\u00fcr Informatik und Praktische Mathematik, Universit\u00e4t Kiel (2003)"},{"key":"3_CR35","unstructured":"Lin, C.: ZPL Language Reference Manual. UW-CSE-TR 94-10-06, University of Washington (1996)"},{"key":"3_CR36","volume-title":"Proceedings of the ACM SIGPLAN 1998 Conference on Programming Language Design and Implementation","author":"E.C. Lewis","year":"1998","unstructured":"Lewis, E.C., Lin, C., Snyder, L.: The Implementation and Evaluation of Fusion and Contraction in Array Languages. In: Proceedings of the ACM SIGPLAN 1998 Conference on Programming Language Design and Implementation. ACM, New York (1998)"},{"key":"3_CR37","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/978-1-4615-4002-1","volume-title":"Arrays, Functional Languages and Parallel Systems","author":"L.M. Restifo Mullin","year":"1991","unstructured":"Restifo Mullin, L.M., Jenkins, M.: A Comparison of Array Theory and a Mathematics of Arrays. In: Arrays, Functional Languages and Parallel Systems, pp. 237\u2013269. Kluwer Academic Publishers, Dordrecht (1991)"},{"key":"3_CR38","unstructured":"Restifo Mullin, L.M.: A Mathematics of Arrays. PhD thesis, Syracuse University (1988)"},{"key":"3_CR39","first-page":"381","volume-title":"Proceedings of the 10th International Workshop on Implementation of Functional Languages","author":"L. Nemeth","year":"1998","unstructured":"Nemeth, L., Peyton Jones, S.: A Design for Warm Fusion. In: Clack, C., Davie, T., Hammond, K. (eds.) Proceedings of the 10th International Workshop on Implementation of Functional Languages, pp. 381\u2013393. University College, London (1998)"},{"key":"3_CR40","volume-title":"POPL 1993","author":"S.L. Peyton Jones","year":"1993","unstructured":"Peyton Jones, S.L., Wadler, P.: Imperative functional programming. In: POPL 1993. ACM Press, New Orleans (1993)"},{"key":"3_CR41","unstructured":"Scholz, S.-B.: Single Assignment C \u2013 Entwurf und Implementierung einer funktionalen C-Variante mit spezieller Unterst\u00fctzung shape-invarianter Array-Operationen. PhD thesis, Institut f\u00fcr Informatik und Praktische Mathematik, Universit\u00e4t Kiel (1996)"},{"key":"3_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/BFb0055425","volume-title":"Implementation of Functional Languages","author":"S.-B. Scholz","year":"1998","unstructured":"Scholz, S.-B.: With-loop-folding in sac\u2013Condensing Consecutive Array Operations. In: Clack, C., Hammond, K., Davie, T. (eds.) IFL 1997. LNCS, vol.\u00a01467, pp. 72\u201392. Springer, Heidelberg (1998)"},{"key":"3_CR43","series-title":"Lecture Notes in Computer Science","first-page":"65","volume-title":"Implementation of Functional Languages","author":"S.-B. Scholz","year":"2002","unstructured":"Scholz, S.-B.: A Type System for Inferring Array Shapes. In: Arts, T., Mohnen, M. (eds.) IFL 2002. LNCS, vol.\u00a02312, pp. 65\u201382. Springer, Heidelberg (2002)"},{"issue":"6","key":"3_CR44","doi-asserted-by":"publisher","first-page":"1005","DOI":"10.1017\/S0956796802004458","volume":"13","author":"S.-B. Scholz","year":"2003","unstructured":"Scholz, S.-B.: Single Assignment C \u2014 efficient support for high-level array operations in a functional setting. Journal of Functional Programming\u00a013(6), 1005\u20131059 (2003)","journal-title":"Journal of Functional Programming"},{"key":"3_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1007\/11964681_10","volume-title":"Implementation and Application of Functional Languages","author":"A. Shafarenko","year":"2006","unstructured":"Shafarenko, A., Scholz, S.-B., Herhut, S., Grelck, C., Trojahner, K.: Implementing a Numerical solution of the KPI equation using single Assignment C: lessons and experiences. In: Butterfield, A., Grelck, C., Huch, F. (eds.) IFL 2005. LNCS, vol.\u00a04015, pp. 160\u2013177. Springer, Heidelberg (2006)"},{"key":"3_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/3-540-44854-3_4","volume-title":"Implementation of Functional Languages","author":"D. Arkel van","year":"2003","unstructured":"van Arkel, D., van Groningen, J., Smetsers, S.: Fusion in Practice. In: Pe\u00f1a, R., Arts, T. (eds.) IFL 2002. LNCS, vol.\u00a02670, pp. 51\u201367. Springer, Heidelberg (2003)"},{"key":"3_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/3-540-63237-9_21","volume-title":"Implementation of Functional Languages","author":"J. Groningen van","year":"1997","unstructured":"van Groningen, J.: The Implementation and Efficiency of Arrays in Clean 1.1. In: Kluge, W. (ed.) IFL 1996. LNCS, vol.\u00a01268, pp. 105\u2013124. Springer, Heidelberg (1997)"},{"key":"3_CR48","volume-title":"High-Performance Compilers for Parallel Computing","author":"M.J. Wolfe","year":"1995","unstructured":"Wolfe, M.J.: High-Performance Compilers for Parallel Computing. Addison-Wesley, Reading (1995)"},{"key":"3_CR49","volume-title":"Supercompilers for Parallel and Vector Computers","author":"H. Zima","year":"1991","unstructured":"Zima, H., Chapman, B.: Supercompilers for Parallel and Vector Computers. Addison-Wesley, Reading (1991)"}],"container-title":["Lecture Notes in Computer Science","Central European Functional Programming School"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11894100_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:36:31Z","timestamp":1619508991000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11894100_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540468431","9783540468455"],"references-count":49,"URL":"https:\/\/doi.org\/10.1007\/11894100_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}