{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:21:13Z","timestamp":1725456073978},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540588689"},{"type":"electronic","value":"9783540491347"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0025879","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T10:12:25Z","timestamp":1132395145000},"page":"186-200","source":"Crossref","is-referenced-by-count":1,"title":["Detecting value-based scalar dependence"],"prefix":"10.1007","author":[{"given":"Eric","family":"Stoltz","sequence":"first","affiliation":[]},{"given":"Michael","family":"Wolfe","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"issue":"4","key":"13_CR1","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1145\/29873.29875","volume":"9","author":"J. R. Allen","year":"1987","unstructured":"John R. Allen and Ken Kennedy. Automatic translation of Fortran programs to vector form. ACM Trans. on Programming Languages and Systems, 9(4):491\u2013542, October 1987.","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Robert A. Ballance, Arthur B. Maccabe, and Karl J. Ottenstein. The Program Dependence Web: A representation supporting control-, data-, and demand-driven interpretation of imperative languages. In Proc. ACM SIGPLAN '90 Conf. on Programming Language Design and Implementation, pages 257\u2013271, White Plains, NY, June 1990.","DOI":"10.1145\/93548.93578"},{"issue":"2","key":"13_CR3","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/BF00129843","volume":"3","author":"M. Burke","year":"1989","unstructured":"Michael Burke, Ron Cytron, Jeanne Ferrante, and Wilson Hsieh. Automatic generation of nested, fork-join parallelism. The Journal of Supercomputing, 3(2):71\u201388, July 1989.","journal-title":"The Journal of Supercomputing"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Jong-Deok Choi, Ron Cytron, and Jeanne Ferrante. Automatic construction of sparse data flow evaluation graphs. In Conf. Record 18th Annual ACM Symp. Principles of Programming Languages, pages 55\u201366, Orlando, Florida, January 1991.","DOI":"10.1145\/99583.99594"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"George Cybenko, Lyle Kipp, Lynn Pointer, and David Kuck. Supercomputer performance evaluation and the Perfect Benchmarks. In International Conference on Supercomputing, pages 254\u2013266, March 1990.","DOI":"10.1145\/77726.255163"},{"issue":"4","key":"13_CR6","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1145\/115372.115320","volume":"13","author":"R. Cytron","year":"1991","unstructured":"Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, and F. Kenneth Zadeck. Efficiently computing Static Single Assignment form and the control dependence graph. ACM Trans. on Programming Languages and Systems, 13(4):451\u2013490, October 1991.","journal-title":"ACM Trans. on Programming Languages and Systems"},{"issue":"1","key":"13_CR7","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/BF01407931","volume":"20","author":"P. Feautrier","year":"1991","unstructured":"Paul Feautrier. Dataflow analysis of array and scalar references. International Journal of Parallel Programming, 20(1):23\u201354, 1991.","journal-title":"International Journal of Parallel Programming"},{"key":"13_CR8","unstructured":"Michael P. Gerlek, Eric Stoltz, and Michael Wolfe. Beyond induction variables: Detecting and classifying sequences using a demand-driven SSA form. To appear in TOPLAS."},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Richard Johnson and Keshav Pingali. Dependence-based program analysis. In Proc. ACM SIGPLAN '93 Conf. on Programming Language Design and Implementation, pages 78\u201389, Albuquerque, NM, June 1993.","DOI":"10.1145\/155090.155098"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Vadim Maslov. Lazy array data-flow dependence analysis. In Conf. Record 21st Annual ACM Symp. Principles of Programming Languages, pages 311\u2013325, Portland, OR, January 1994.","DOI":"10.1145\/174675.177911"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Eric Stoltz, Michael P. Gerlek, and Michael Wolfe. Extended SSA with factored use-def chains to support optimization and parallelism. In Proc. of 27th Annual Hawaii International Conference on System Sciences, pages 43\u201352, January 1994.","DOI":"10.1109\/HICSS.1994.323280"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Eric Stoltz, Michael Wolfe, and Michael P. Gerlek. Constant propagation: A fresh, demand-driven look. In Symposium on Applied Computing, Phoenix, AZ, March 1994. ACM SIGAPP.","DOI":"10.1145\/326619.326791"},{"key":"13_CR13","unstructured":"Chau-Wen Tseng. An optimizing Fortran D compiler for MIMD distributed-memory machines. PhD Dissertation TR93-199, Rice University, Dept. of Computer Science, January 1993."},{"key":"13_CR14","unstructured":"Michael E. Wolf. Improving locality and parallelism in nested loops. PhD Dissertation COMP TR. CSL-TR-92-538, Stanford Univ., Dept. Computer Science, August 1992."},{"key":"13_CR15","volume-title":"Research Monographs in Parallel and Distributed Computing","author":"M. Wolfe","year":"1989","unstructured":"Michael Wolfe. Optimizing Supercompilers for Supercomputers. Research Monographs in Parallel and Distributed Computing. Pitman Publishing, London, 1989. (also available from MIT Press)."},{"issue":"2","key":"13_CR16","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/BF01379099","volume":"16","author":"M. Wolfe","year":"1987","unstructured":"Michael Wolfe and Utpal Banerjee. Data dependence and its application to parallel processing. International J. Parallel Programming, 16(2):137\u2013178, April 1987.","journal-title":"International J. Parallel Programming"}],"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\/BFb0025879","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T01:50:22Z","timestamp":1586569822000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0025879"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540588689","9783540491347"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0025879","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}