{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:55:30Z","timestamp":1725663330435},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540189916"},{"type":"electronic","value":"9783540388883"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-18991-2_10","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:50:54Z","timestamp":1330199454000},"page":"138-171","source":"Crossref","is-referenced-by-count":4,"title":["Analysis of interprocedural side effects in a parallel programming environment"],"prefix":"10.1007","author":[{"given":"David","family":"Callahan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ken","family":"Kennedy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"10_CR1","unstructured":"R. Allen, D. Baumgartner, K. Kennedy, and A. Porterfield. Ptool: a semi-automatic parallel programming assistant. In Proceedings of the 1986 International Conference on Parallel Processing, IEEE Computer Society Press, August 1986."},{"key":"10_CR2","unstructured":"F. E. Allen and J. Cocke. A catalogue of optimizing transformations. In Design and Optimization of Compilers, pages 1\u201330, Prentice-Hall, 1972."},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Randy Allen, David Callahan, and Ken Kennedy. Automatic decomposition of scientific programs for parallel execution. In Conference Record of the Fourteenth ACM Symposium on the Principles of Programming Languages, Munich, West Germany, January 1987.","DOI":"10.1145\/41625.41631"},{"key":"10_CR4","unstructured":"Randy Allen and Ken Kennedy. PFC: a program to convert Fortran to parallel form. Technical Report MASC-TR 82-6, Dept. of Mathematical Sciences, Rice University, March 1982."},{"issue":"4","key":"10_CR5","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1109\/MS.1985.231370","volume":"2","author":"R. Allen","year":"1985","unstructured":"Randy Allen and Ken Kennedy. A parallel programming environment. IEEE Software, 2(4):22\u201329, July 1985.","journal-title":"IEEE Software"},{"key":"10_CR6","unstructured":"Randy Allen. Dependence Analysis for Subscripted Variables and its Application to Program Transformation. PhD thesis, Dept. of Mathematical Sciences, Rice University, April 1983."},{"key":"10_CR7","unstructured":"W. F. Applebe and C. E. McDowell. Anomaly reporting \u2014 a tool for debugging and developing numerical algorithms. In First International Conference on Supercomputers, Florida, December 1985."},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"J. Banning. A Method for Determining the Side Effects of Procedure Calls. PhD thesis, Stanford University, August 1978.","DOI":"10.2172\/6424834"},{"key":"10_CR9","unstructured":"Uptal Banerjee. A Direct Parallelization of Call Statements \u2014 A Review. CSRD Rpt. 576, Center for Supercomputing Research and Development, University of Illinois at Urbana-Champaign, April 1986."},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"J. Barth. An interprocedural data flow analysis algorithm. In Conference Record of the Fourth ACM Symposium on the Principles of Programming Languages, Los Angeles, January 1977.","DOI":"10.1145\/512950.512962"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"M. Burke and R. Cytron. Interprocedural dependence analysis and parallelization. In Proceedings of the SIGPLAN '86 Symposium on Compiler Construction, pages 162\u2013175, June 1986.","DOI":"10.1145\/12276.13328"},{"key":"10_CR12","unstructured":"M. Ben-Ari. Principles of Concurrent Programming. Prentice-Hall, 1982."},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"D. Callahan, K. Cooper, K. Kennedy, and L. Torczon. Interprocedural constant propagation. In Proceedings of the SIGPLAN '86 Symposium on Compiler Construction, June 1986.","DOI":"10.1145\/12276.13327"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In Conference Record of the Fifth ACM Symposium on the Principles of Programming Languages, pages 84\u201396, 1978.","DOI":"10.1145\/512760.512770"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"K. Cooper and K. Kennedy. Efficient computation of flow insensitive interprocedural summary information. In Proceedings of the SIGPLAN '84 Symposium on Compiler Construction, July 1985.","DOI":"10.1145\/502874.502898"},{"issue":"4","key":"10_CR16","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1145\/6465.6489","volume":"8","author":"K. Cooper","year":"1986","unstructured":"K. Cooper, K. Kennedy, and L. Torczan. The impact of interprocedural analysis and optimization in the IRnprogramming environment. ACM Transactions on Programming Languages and Systems, 8(4):419\u2013523, October 1986.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10_CR17","unstructured":"Keith D. Cooper. Interprocedural Data Flow Analysis in a Programming Environment. PhD thesis, Dept. Of Computer Science, Rice University, April 1983."},{"key":"10_CR18","doi-asserted-by":"crossref","DOI":"10.1137\/1.9781611971811","volume-title":"LINPACK User's Guide","author":"J. J. Dongarra","year":"1979","unstructured":"J. J. Dongarra, J. R. Bunch, C. B. Moler, and G. W. Stewart. LINPACK User's Guide. SIAM Publications, Philadelphia, 1979."},{"issue":"3","key":"10_CR19","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1145\/356674.356676","volume":"8","author":"Lloyd D. D. Fosdick","year":"1976","unstructured":"Lloyd D. Fosdick and Leon J. Osterweil. Data flow analysis in software reliability. Computer Surveys, 8(3):305\u2013330, September 1976.","journal-title":"Computer Surveys"},{"key":"10_CR20","first-page":"625","volume-title":"Proceedings of the eighteenth Hawaii International Conference on System Science","author":"Robert T. T. Hood","year":"1985","unstructured":"Robert T. Hood and Ken Kennedy. A programming environment for fortan. In Proceedings of the eighteenth Hawaii International Conference on System Science, pages 625\u2013637, Western Periodicals, North Hollywood, CA, 1985."},{"key":"10_CR21","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/BF00268497","volume":"6","author":"M. Karr","year":"1976","unstructured":"M. Karr. Affine relationships among variables of a program. Acta Informatica, 6:133\u2013151, 1976.","journal-title":"Acta Informatica"},{"key":"10_CR22","unstructured":"Ken Kennedy. Automatic translation of Fortran programs to vector form. Technical Report 476-029-4, Dept. of Mathematical Sciences, Rice University, October 1980."},{"key":"10_CR23","doi-asserted-by":"crossref","unstructured":"J. Kam and J. Ullman. Montone data flow analysis frameworks. Acta Informatica, 7, 1977.","DOI":"10.1007\/BF00290339"},{"key":"10_CR24","volume-title":"The Structure of Computers and Computation. Volume 1","author":"David J. J. Kuck","year":"1978","unstructured":"David J. Kuck. The Structure of Computers and Computation. Volume 1, John Wiley & Sons, New York, 1978."},{"key":"10_CR25","doi-asserted-by":"crossref","unstructured":"E. Myers. A precise interprocedural data flow algorithm. In Conference Record of the Eigth ACM Symposium on the Principles of Programming Languages, January 1981.","DOI":"10.1145\/567532.567556"},{"key":"10_CR26","doi-asserted-by":"crossref","unstructured":"R. Triolet, F. Irigion, and P. Feautrier. Direct parallelization of call statements. In Proceedings of the SIGPLAN '86 Symposium on Compiler Construction, pages 176\u2013185, June 1986.","DOI":"10.1145\/12276.13329"},{"key":"10_CR27","unstructured":"M. J. Wolfe. Optimizing Supercompilers for Supercomputers. PhD thesis, Dept. Of Computer Science, University of Illinois at Urbana-Champaign, October 1982."},{"key":"10_CR28","doi-asserted-by":"crossref","unstructured":"M. Wegman and K. Zadeck. Constant propagation with conditional branches. In Conference Record of the Twelfth ACM Symposium on the Principles of Programming Languages, pages 291\u2013299, January 1985.","DOI":"10.1145\/318593.318659"}],"container-title":["Lecture Notes in Computer Science","Supercomputing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-18991-2_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T12:51:35Z","timestamp":1713617495000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18991-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540189916","9783540388883"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-18991-2_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}