{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T05:03:28Z","timestamp":1773983008809,"version":"3.50.1"},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1988,10,1]],"date-time":"1988-10-01T00:00:00Z","timestamp":591667200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Supercomput"],"published-print":{"date-parts":[[1988,10]]},"DOI":"10.1007\/bf00128174","type":"journal-article","created":{"date-parts":[[2004,11,2]],"date-time":"2004-11-02T18:04:40Z","timestamp":1099418680000},"page":"133-149","source":"Crossref","is-referenced-by-count":38,"title":["An introduction to a formal theory of dependence analysis"],"prefix":"10.1007","volume":"2","author":[{"given":"Utpal","family":"Banerjee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","series-title":"Ph.D. Thesis","volume-title":"Dependence Analysis for Subscripted Variables and Its Application to Program Transformations","author":"J. R. Allen","year":"1983","unstructured":"Allen, J. R. 1983.Dependence Analysis for Subscripted Variables and Its Application to Program Transformations. Ph.D. Thesis, Dept. of Mathematical Sciences, Rice University, Houston, Texas. Also available as Document 83?14916 from University Microfilms, Ann Arbor, Mich."},{"issue":"4","key":"CR2","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1145\/29873.29875","volume":"9","author":"J. R. Allen","year":"1987","unstructured":"Allen, J. R., and Kennedy, K. 1987. Automatic translation of FORTRAN programs to vector form.ACM Trans. Programming Languages & Systems, 9(4): 491?542.","journal-title":"ACM Trans. Programming Languages & Systems"},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"Allen, J. R., Kennedy, K., Porterfield, C., and Warren, J. 1983. Conversion of control dependence to data dependence. In Conference Proceedings?The 10th Annual ACM Symposium on Principles of Programming Languages (Austin, Jan. 24?26), ACM Press, pp. 177?189.","DOI":"10.1145\/567067.567085"},{"key":"CR4","series-title":"M.S. Thesis, Report 76-837","volume-title":"Data Dependence in Ordinary Programs","author":"U. Banerjee","year":"1976","unstructured":"Banerjee, U. 1976.Data Dependence in Ordinary Programs. M.S. Thesis, Report 76?837, Dept. of Computer Science, University of Illinois, Urbana."},{"key":"CR5","series-title":"Ph.D. Thesis, Report 79-989","volume-title":"Speedup of Ordinary Programs","author":"U. Banerjee","year":"1979","unstructured":"Banerjee, U. 1979.Speedup of Ordinary Programs. Ph.D. Thesis, Report 79?989, Dept. of Computer Science, University of Illinois, Urbana. Also available as Document 80?08967 from University Microfilms, Ann Arbor, Mich."},{"key":"CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-6894-6","volume-title":"Dependence Analysis for Supercomputing","author":"U. Banerjee","year":"1988","unstructured":"Banerjee, U. 1988.Dependence Analysis for Supercomputing. Kluwer Academic Publishers, Boston."},{"issue":"9","key":"CR7","doi-asserted-by":"crossref","first-page":"660","DOI":"10.1109\/TC.1979.1675434","volume":"C-28","author":"U. Banerjee","year":"1979","unstructured":"Banerjee, U., Chen, S. C., Kuck, D. J., and Towle, R. A. 1979. Time and parallel processor bounds for Fortran-like loops.IEEE Trans. Computers, C-28(9): 660?670.","journal-title":"IEEE Trans. Computers"},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"Burke, M., and Cytron, R. 1986. Interprocedural dependence analysis and parallelization. In Conference Proceedings?The SIGPLAN '86 Symposium on Compiler Construction (Palo Alto, June 25?27). Also available as SIGPLAN Notices, 21(7): 162?175.","DOI":"10.1145\/12276.13328"},{"key":"CR9","first-page":"169","volume-title":"Conference Proceedings?The 7th Annual Princeton Conference on Information Sciences and Systems (Princeton, Mar. 22?23)","author":"W. L. Cohagan","year":"1973","unstructured":"Cohagan, W. L. 1973. Vector optimization for the ASC. In Conference Proceedings?The 7th Annual Princeton Conference on Information Sciences and Systems (Princeton, Mar. 22?23), Princeton University Press, Princeton, N.J., pp. 169?174."},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"Kuck, D. J., Kuhn, R. H., Padua, D. A., Leasure, B. R., and Wolfe, M. J. 1981. Dependence graphs and compiler optimizations. In Conference Proceedings?The 8th ACM Symposium on Principles of Programming Languages (Williamsburg, Va., Jan. 26?28), ACM Press, pp. 207?218.","DOI":"10.1145\/567532.567555"},{"key":"CR11","series-title":"Ph.D. Thesis, Report 80-1009","volume-title":"Optimization and Interconnection Complexity for:Parallel Processors, Single-Stage Networks, and Decision Trees","author":"R. H. Kuhn","year":"1980","unstructured":"Kuhn, R. H. 1980.Optimization and Interconnection Complexity for:Parallel Processors, Single-Stage Networks, and Decision Trees. Ph.D. Thesis, Report 80?1009, Dept. of Computer Science, University of Illinois, Urbana. Also available as Document 80?26541 from University Microfilms, Ann Arbor, Mich."},{"issue":"12","key":"CR12","doi-asserted-by":"crossref","first-page":"1184","DOI":"10.1145\/7902.7904","volume":"29","author":"D. A. Padua","year":"1986","unstructured":"Padua, D. A., and Wolfe, M. J. 1986. Advanced compiler optimizations for supercomputers.Comm. ACM, 29 (12): 1184?1201.","journal-title":"Comm. ACM"},{"key":"CR13","series-title":"Ph.D. Thesis, Report 76-788","volume-title":"Control and Data Dependence for Program Transformations","author":"R. A. Towle","year":"1976","unstructured":"Towle, R. A. 1976.Control and Data Dependence for Program Transformations. Ph.D. Thesis, Report 76?788, Dept. of Computer Science, University of Illinois, Urbana."},{"key":"CR14","series-title":"Ph.D. Thesis, Report 82-1105","volume-title":"Optimizing Supercompilers for Supercomputers","author":"M. J. Wolfe","year":"1982","unstructured":"Wolfe, M. J. 1982.Optimizing Supercompilers for Supercomputers. Ph.D. Thesis, Report 82?1105, Dept. of Computer Science, University of Illinois, Urbana. Also available as Document 83?03027 from University Microfilms, Ann Arbor, Mich."},{"issue":"2","key":"CR15","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/BF01379099","volume":"16","author":"M. J. Wolfe","year":"1987","unstructured":"Wolfe, M. J., and Banerjee, U. 1987. Data dependence and its application to parallel processing.Int. J. Parallel Programming, 16(2): 137?178.","journal-title":"Int. J. Parallel Programming"}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00128174.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00128174\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00128174","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,3]],"date-time":"2019-04-03T04:50:03Z","timestamp":1554267003000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00128174"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,10]]},"references-count":15,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1988,10]]}},"alternative-id":["BF00128174"],"URL":"https:\/\/doi.org\/10.1007\/bf00128174","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"value":"0920-8542","type":"print"},{"value":"1573-0484","type":"electronic"}],"subject":[],"published":{"date-parts":[[1988,10]]}}}