{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:09:56Z","timestamp":1725664196673},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584858"},{"type":"electronic","value":"9783540490050"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58485-4_41","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:28:09Z","timestamp":1330255689000},"page":"193-207","source":"Crossref","is-referenced-by-count":0,"title":["Uniqueness and completeness analysis of array comprehensions"],"prefix":"10.1007","author":[{"given":"David","family":"Garza-Salazar","sequence":"first","affiliation":[]},{"given":"Wim","family":"B\u00f6hm","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"12_CR1","volume-title":"Compilers. Principles, Techniques and Tools","author":"A.V. Aho","year":"1986","unstructured":"A.V. Aho, R. Sethi, and J. D. Ullman. Compilers. Principles, Techniques and Tools. Addison-Wesley, Reading MA, 1986."},{"doi-asserted-by":"crossref","unstructured":"Steven Anderson and Paul Hudak. Compilation of Haskell Array Comprehensions for Scientific Computing. In Proceedings of the ACM SIGPLAN '90 Conference on Programming Language Design and Implementation, pages 137\u2013149, June 1990.","key":"12_CR2","DOI":"10.1145\/93542.93561"},{"issue":"4","key":"12_CR3","doi-asserted-by":"publisher","first-page":"598","DOI":"10.1145\/69558.69562","volume":"11","author":"Arvind","year":"1989","unstructured":"Arvind, and Rishiyur S. Nikhil. I-Structures: Data Structures for Parallel Computing. ACM Transactions on Programming Languages and Systems, 11(4):598\u2013632, October 1989.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"doi-asserted-by":"crossref","unstructured":"Utpal Banerjee. Dependence Analysis for Supercomputing. Kluwer Academic Publishing, 1988.","key":"12_CR4","DOI":"10.1007\/978-1-4684-6894-6"},{"doi-asserted-by":"crossref","unstructured":"Utpal Banerjee. Loop Transformations for Restructuring Compilers. The Foundations. Kluwer Academic Publishing, 1993.","key":"12_CR5","DOI":"10.1007\/b102311"},{"key":"12_CR6","volume-title":"Technical Report CS-91-118","author":"A.P.W. B\u00f6hm","year":"1991","unstructured":"A.P.W. B\u00f6hm, D. C. Cann, J. T. Feo, and R. R. Oldehoeft. SISAL 2.0 Reference Manual. Technical Report CS-91-118, Computer Science Department, Colorado State University, Fort Collins, CO, November 1991."},{"doi-asserted-by":"crossref","unstructured":"Michael Burke and Ron Cytron. Interprocedural Analysis and Parallelization. In ACM SIGPLAN '86 Symposium on Compiler Construction, pages 162\u2013175, June 1986.","key":"12_CR7","DOI":"10.1145\/13310.13328"},{"key":"12_CR8","volume-title":"Ph.D. thesis","author":"D. C. Cann","year":"1989","unstructured":"D. C. Cann. Compilation Techniques for High Performance Applicative Computation. Ph.D. thesis, Colorado State University, Computer Science Department, Fort Collins, CO, 1989."},{"doi-asserted-by":"crossref","unstructured":"B.W. Char, K.O. Geddes, G.H. Gonnet, B.L. Leong, M.B. Monagan, S.M.Watt, Maple V Library Reference Manual. Springer-Verlag and Waterloo Maple Publishing, 1991.","key":"12_CR9","DOI":"10.1007\/978-1-4757-2133-1"},{"key":"12_CR10","volume-title":"ACAPS Technical Memo 19","author":"G. R. Gao","year":"1990","unstructured":"G. R. Gao, and Robert Kim Yates. An Efficient Monolithic Array Constructor. ACAPS Technical Memo 19, School of Computer Science, McGill University, Montreal, Canada, June 1990."},{"doi-asserted-by":"crossref","unstructured":"Paul Havlak, Ken Kennedy. Experience with Interprocedural Analysis of Array Side Effects. In Supercomputing '90, pages 952\u2013962, 1990.","key":"12_CR11","DOI":"10.1109\/SUPERC.1990.130123"},{"unstructured":"P. Hudak et. al. Report on the programming Language Haskell \u2014 A non-strict, Purely Functional Language \u2014 version 1.0, Technical report, Yale University, April 1990.","key":"12_CR12"},{"doi-asserted-by":"crossref","unstructured":"Zhiyuan Li and Pen-Chung Yew. Efficient Interprocedural Analysis for Program Parallelization and Restructuring. In ACM SIGPLAN PPEALS, pages 85\u201399, 1988.","key":"12_CR13","DOI":"10.1145\/62115.62125"},{"key":"12_CR14","volume-title":"Manual M-146, Rev. 1","author":"J. R. McGraw","year":"1985","unstructured":"J. R. McGraw, S. K. Skedzielewski, S. J. Allan, R. R. Oldehoeft, J. Glauert, C. Kirkham, W. Noyce, and R. Thomas. SISAL: Streams and iteration in a single assignment language: Reference manual version 1.2., Manual M-146, Rev. 1, Lawrence Livermore National Laboratory, Livermore, CA, March 1985."},{"unstructured":"R.S. Nikhil, Id (vers\u00edon 90.0) Reference Manual. TR CSG Memo 284-1, MIT LCS 1990.","key":"12_CR15"},{"doi-asserted-by":"crossref","unstructured":"William Pugh. The Omega Test: a fast and practical integer programming algorithm for dependence analysis. In Supercomputing 1991, pages 4\u201313, November 1991.","key":"12_CR16","DOI":"10.1145\/125826.125848"},{"issue":"8","key":"12_CR17","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1145\/135226.135233","volume":"35","author":"W. Pugh","year":"1992","unstructured":"William Pugh. A Practical Algorithm for Exact Array Dependence Analysis. Communications of the ACM, 35(8):102\u2013114, August 1992.","journal-title":"Communications of the ACM"},{"key":"12_CR18","volume-title":"Theory of Linear and Integer Programming","author":"A. Schrijver","year":"1987","unstructured":"Alexander Schrijver. Theory of Linear and Integer Programming. John Wiley & Sons, New York, New York, 1987."},{"doi-asserted-by":"crossref","unstructured":"R\u00e9mi Triolet, Francois Irigoin, and Paul Feautrier. Direct Parallelization of Call Statements. In Proceedings of the SIGPLAN '86 Symposium on Compiler Construction, pages 176\u2013185, June 1986.","key":"12_CR19","DOI":"10.1145\/13310.13329"},{"key":"12_CR20","volume-title":"Supercompilers for Parallel and Vector Computers","author":"H. Zima","year":"1990","unstructured":"Hans Zima with Barbara Chapman. Supercompilers for Parallel and Vector Computers. ACM Press, NY, 1990."}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58485-4_41.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:22:21Z","timestamp":1605630141000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58485-4_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584858","9783540490050"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-58485-4_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}