{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T09:14:26Z","timestamp":1780650866072,"version":"3.54.1"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1995,8,1]],"date-time":"1995-08-01T00:00:00Z","timestamp":807235200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Parallel Prog"],"published-print":{"date-parts":[[1995,8]]},"DOI":"10.1007\/bf02577770","type":"journal-article","created":{"date-parts":[[2007,3,22]],"date-time":"2007-03-22T19:36:25Z","timestamp":1174592185000},"page":"327-358","source":"Crossref","is-referenced-by-count":1,"title":["Detecting value-based scalar dependence"],"prefix":"10.1007","volume":"23","author":[{"given":"Eric","family":"Stoltz","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael","family":"Wolfe","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"BF02577770_CR1","unstructured":"Chau-Wen Tseng, An optimizing Fortran D compiler for MIMD distributed-memory machines. PhD. Dissertation TR93-199, Rice University, Department of Computer Science (January 1993)."},{"issue":"1","key":"BF02577770_CR2","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/BF01407931","volume":"20","author":"Paul Feautrier","year":"1991","unstructured":"Paul Feautrier, Dataflow analysis of array and scalar references.Intl. Journal of Parallel Programming 20(1):23\u201354 (1991).","journal-title":"Intl. Journal of Parallel Programming"},{"key":"BF02577770_CR3","unstructured":"J. R. Allen, Dependence analysis for subscripted variables and its application to program transformations. PhD. dissertation, Rice University, Department of Mathematical Sciences. (April 1983). (available from University Microfilms Inc., Document 83-14916)."},{"issue":"4","key":"BF02577770_CR4","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1145\/29873.29875","volume":"9","author":"John R. Allen","year":"1987","unstructured":"John R. Allen and Ken Kennedy, Automatic translation of Fortran programs to vector form.ACM Trans. on Programming Language and Systems 9(4):491\u2013542 (October 1987).","journal-title":"ACM Trans. on Programming Language and Systems"},{"key":"BF02577770_CR5","unstructured":"Michael Wolfe, Optimizing supercompilers for supercomputers. PhD. Dissertation UIUCDCS-R-82-1105, University Illinois, Department Computer Science (October 1982) (available from University Microfilms Inc., document 83-03027)."},{"issue":"2","key":"BF02577770_CR6","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/BF01379099","volume":"16","author":"Michael Wolfe","year":"1987","unstructured":"Michael Wolfe and Utpal Banerjee, Data dependence and its application to parallel processingInt. J. Parallel Programming 16(2):137\u2013178 (April 1987).","journal-title":"Int. J. Parallel Programming"},{"key":"BF02577770_CR7","doi-asserted-by":"crossref","unstructured":"Vadim Maslov, Lazy array data-flow dependence analysis. InConf. Record 21st Annual ACM Symp. Principles of Programming Languages, Portland, Oregon, pp. 311\u2013325 (January 1994).","DOI":"10.1145\/174675.177911"},{"issue":"2","key":"BF02577770_CR8","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/BF00129843","volume":"3","author":"Michael 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":"BF02577770_CR9","unstructured":"Michael Wolfe, Techniques for improving the inherent parallelism in programs. M. S. thesis UIUCDCS-R-78-929, University Illinois, Department Computer Science (July 1978)."},{"key":"BF02577770_CR10","series-title":"Research Monographs in Parallel and Distributed Computing","volume-title":"Optimizing Supercompilers for Supercomputers","author":"Michael 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":"4","key":"BF02577770_CR11","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1145\/115372.115320","volume":"13","author":"Ron Cytron","year":"1991","unstructured":"Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, and F. Kenneth Zedeck. 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"},{"key":"BF02577770_CR12","doi-asserted-by":"crossref","unstructured":"Michael P. Gerlek, Eric Stoltz, and Michael Wolfe, Beyond induction variables: Detecting and classifying sequences using a demand-driven SSA form. To appear inTOPLAS (1995).","DOI":"10.1145\/200994.201003"},{"key":"BF02577770_CR13","doi-asserted-by":"crossref","unstructured":"Eric Stoltz. Michael Wolfe, and Michael P. Gerlek, Constant propagation: A fresh, demand-driven look. InSymposium on Applied Computing. ACM SIGAPP, Phoenix, Arizona (March 1994).","DOI":"10.1145\/326619.326791"},{"key":"BF02577770_CR14","doi-asserted-by":"crossref","unstructured":"Richard Johnson and Keshav Pingali, Dependence-based program analysis. InProc. ACM SIGPLAN '93 Conf. on Programming Language Design and Implementation, Albuquerque, New Mexico, pp. 78\u201389 (June 1993).","DOI":"10.1145\/155090.155098"},{"key":"BF02577770_CR15","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."},{"issue":"2","key":"BF02577770_CR16","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1109\/32.265631","volume":"20","author":"Jong-Deok Choi","year":"1994","unstructured":"Jong-Deok Choi, Ron Cytron, and Jeanne Ferrante, On the efficient engineering of ambitious program analysis.IEEE Trans. on Software Engineering 20(2):105\u2013114 (February 1994).","journal-title":"IEEE Trans. on Software Engineering"},{"key":"BF02577770_CR17","unstructured":"Eric Stoltz,Intermediate Compiler Analysis via Reference Chaining. PhD. thesis, Department of Computer Science and Engineering, Oregon Graduate Institute of Science & Technology (January 1995)."},{"key":"BF02577770_CR18","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. InProc. of 27th Annual Hwaii Intl. Conf. on Syst. Sci., pp. 43\u201352 (January 1994).","DOI":"10.1109\/HICSS.1994.323280"},{"key":"BF02577770_CR19","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, Massachusetts (1986)."},{"key":"BF02577770_CR20","doi-asserted-by":"crossref","unstructured":"George Cybenko, Lyle Kipp. Lynn Pointer, and David Kuck, Supercomputer performance evaluation and the Perfect Benchmarks. InIntl. Conf. on Supercomputing, pp. 254\u2013266 (March 1990).","DOI":"10.1145\/255129.255163"},{"key":"BF02577770_CR21","doi-asserted-by":"crossref","unstructured":"Jong-Deok Choi, Ron Cytron, and Jeanne Ferrante, Automatic construction of sparse data flow evaluation graphs. InConf. Record 18th Annual ACM Symp. Principles of Programming Languages, Orlando, Florida, pp. 55\u201366 (January 1991).","DOI":"10.1145\/99583.99594"},{"key":"BF02577770_CR22","unstructured":"Michael E. Wolf, Improving locality and parallelism in nested loops. PhD. Dissertation COMP TR. CSL-TR-92-538, Stanford University, Department Computer Science (August 1992)."},{"key":"BF02577770_CR23","unstructured":"Paul Havlak. Interprocedural Symbolic Analysis. PhD. thesis, Department of Computer Science, Rice University (1994)."}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02577770.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02577770\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02577770","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T03:28:42Z","timestamp":1558322922000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02577770"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,8]]},"references-count":23,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1995,8]]}},"alternative-id":["BF02577770"],"URL":"https:\/\/doi.org\/10.1007\/bf02577770","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"value":"0885-7458","type":"print"},{"value":"1573-7640","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,8]]}}}