{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:09:53Z","timestamp":1725664193686},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584858"},{"type":"electronic","value":"9783540490050"}],"license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58485-4_42","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:27:49Z","timestamp":1330255669000},"page":"208-222","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Extent analysis of data fields"],"prefix":"10.1007","author":[{"given":"Bj\u00f6rn","family":"Lisper","sequence":"first","affiliation":[]},{"given":"Jean -Francois","family":"Collard","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"S. Anderson and P. 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. ACM, June 1990.","key":"13_CR1","DOI":"10.1145\/93548.93561"},{"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 Proceedings 4th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 102\u2013111, San Diego, May 1993.","key":"13_CR2","DOI":"10.1145\/173284.155343"},{"key":"13_CR3","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/0743-7315(90)90087-6","volume":"8","author":"G. E. Blelloch","year":"1990","unstructured":"G. E. Blelloch, and G. W. Sabot. Compiling Collection-Oriented Languages onto Massively Parallel Computers. Journal of Parallel and Distributed Computing, 8:119\u2013134, 1990.","journal-title":"Journal of Parallel and Distributed Computing"},{"doi-asserted-by":"crossref","unstructured":"S. Chatterjee, G. E. Blelloch, and A. L. Fisher. Size and access inference for dataparallel programs. In Proc. ACM SIGPLAN'91 Conference on Programming Language Design and Implementation, pages 130\u2013144, June 1991.","key":"13_CR4","DOI":"10.1145\/113445.113457"},{"key":"13_CR5","volume-title":"A Discipline of Programming","author":"E. W. Dijkstra","year":"1976","unstructured":"E. W. Dijkstra. A Discipline of Programming. Prentice Hall, Englewood Cliffs, N.J., 1976."},{"doi-asserted-by":"crossref","unstructured":"E. Duesterwald, R. Gupta, and M.-L. Soffa. A practical data flow framework for array reference analysis and its use in optimization. In Proc. ACM SIGPLAN'93 Conference on Programming Language Design and Implementation, pages 68\u201377, June 1993.","key":"13_CR6","DOI":"10.1145\/173262.155097"},{"key":"13_CR7","first-page":"243","volume":"22","author":"P. Feautrier","year":"1988","unstructured":"P. Feautrier. Parametric integer programming. RAIRO Recherche Op\u00e9rationnelle, 22:243\u2013268, Sept. 1988.","journal-title":"RAIRO Recherche Op\u00e9rationnelle"},{"key":"13_CR8","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1016\/0743-7315(90)90035-N","volume":"10","author":"J. T. Feo","year":"1990","unstructured":"J. T. Feo, D. C. Cann, and R. R. Oldehoeft. A report on the SISAL language project. Journal of Parallel and Distributed Computing, 10:349\u2013366, 1990.","journal-title":"Journal of Parallel and Distributed Computing"},{"doi-asserted-by":"crossref","unstructured":"R. Gupta. A fresh look at optimizing array bound checking. In Proc. ACM SIGPLAN'90 Conference on Programming Language Design and Implementation, pages 272\u2013282, June 1990.","key":"13_CR9","DOI":"10.1145\/93548.93581"},{"doi-asserted-by":"crossref","unstructured":"P. Hammarlund and B. Lisper. On the relation between functional and data parallel programming languages. In Proc. Sixth Conference on Functional Programming Languages and Computer Architecture, pages 210\u2013222. ACM Press, June 1993.","key":"13_CR10","DOI":"10.1145\/165180.165211"},{"issue":"12","key":"13_CR11","doi-asserted-by":"publisher","first-page":"1170","DOI":"10.1145\/7902.7903","volume":"29","author":"W. D. Hillis","year":"1986","unstructured":"W. D. Hillis, and G. L. Steele, Jr.. Data parallel algorithms. Comm. ACM, 29(12):1170\u20131183, Dec. 1986.","journal-title":"Comm. ACM"},{"key":"13_CR12","series-title":"The UT Year of Programming Series","first-page":"117","volume-title":"Research Topics in Functional Programming","author":"J. Hughes","year":"1989","unstructured":"J. Hughes. Compile-time analysis of functional programs. In D. A. Turner, editor, Research Topics in Functional Programming, The UT Year of Programming Series, chapter 5, pages 117\u2013153. Addison-Wesley, Reading, MA, 1989."},{"unstructured":"B. Lisper. Linear programming methods for minimizing execution time of indexed computations. In Proc. Int. Workshop on Compilers for Parallel Computers, pages 131\u2013142, Dec. 1990.","key":"13_CR13"},{"key":"13_CR14","volume-title":"Research report","author":"B. Lisper","year":"1994","unstructured":"B. Lisper, and J.-F. Collard. Extent analysis of data fields. Research report, LIP, ENS Lyon, France, 1994. ftp: lip.ens-lyon.fr."},{"unstructured":"A. Mycroft. Abstract interpretation and optimizing transformations for applicative programs. PhD thesis, Computer Science Dept,. Univ. of Edinburgh, 1981.","key":"13_CR15"},{"doi-asserted-by":"crossref","unstructured":"D. B. Skillicorn. Architecture-independent parallel computation. IEEE Computer, pages 38\u201350, December 1990.","key":"13_CR16","DOI":"10.1109\/2.62092"},{"key":"13_CR17","volume-title":"Technical Report PL86-2","author":"G. L. Steele Jr.","year":"1986","unstructured":"G. L. Steele Jr., and W. D. Hillis. Connection Machine Lisp: Fine-Grained Parallel Symbolic Processing. Technical Report PL86-2, Thinking Machine Corporation, Thinking Machines Corporation, 245 First Street, Cambridge, Massachusetts 02142, May 1986."},{"key":"13_CR18","first-page":"385","volume-title":"Volume 274 of Lecture Notes in Comput. Sci.","author":"P. Wadler","year":"1987","unstructured":"P. Wadler, and R. J. M. Hughes. Projections for strictness analysis. In G. Kahn, editor, Proc. Functional Programming Lang. and Computer Arch., pages 385\u2013407, Berlin, Sept. 1987. Volume 274 of Lecture Notes in Comput. Sci., Springer-Verlag."},{"unstructured":"J. A. Yang and Y. Choo. Data fields as parallel programs. In Proceedings of the Second International Workshop on Array Structures, Montreal, Canada, June\/July 1992.","key":"13_CR19"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58485-4_42","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T08:24:45Z","timestamp":1558254285000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58485-4_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584858","9783540490050"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-58485-4_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]},"assertion":[{"value":"8 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}