{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,20]],"date-time":"2024-12-20T05:29:47Z","timestamp":1734672587717,"version":"3.32.0"},"reference-count":34,"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\/bf00128178","type":"journal-article","created":{"date-parts":[[2004,11,2]],"date-time":"2004-11-02T18:04:40Z","timestamp":1099418680000},"page":"225-244","source":"Crossref","is-referenced-by-count":6,"title":["Program parallelization with interprocedural analysis"],"prefix":"10.1007","volume":"2","author":[{"given":"Zhiyuan","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pen-Chung","family":"Yew","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","volume-title":"The Design and Analysis of Computer Algorithms","author":"A. V. Aho","year":"1974","unstructured":"Aho, A. V., Hopcroft, J. E., and Ullman, J. D. 1974.The Design and Analysis of Computer Algorithms. Addison-Wesley, Reading, Mass."},{"key":"CR2","series-title":"Rice Comp TR84 - 9","volume-title":"Automatic Translation of Fortran Programs to Vector Form","author":"J. R. Allen","year":"1984","unstructured":"Allen, J. R., and Kennedy, J. 1984.Automatic Translation of Fortran Programs to Vector Form. Dept. of Computer Science, Rice University, Houston, Texas, Rice Comp TR84 - 9."},{"key":"CR3","series-title":"Rpt. No. 76 - 837","volume-title":"Data Dependence in Ordinary Programs","author":"U. Banerjee","year":"1976","unstructured":"Banerjee, U. 1976.Data Dependence in Ordinary Programs. Department of Computer Science., University of Illinois at Urbana-Champaign, Rpt. No. 76 - 837."},{"key":"CR4","series-title":"Ph.D Thesis","volume-title":"Speedup of Ordinary Programs","author":"U. Banerjee","year":"1979","unstructured":"Banerjee, U. 1979.Speedup of Ordinary Programs. Ph.D Thesis, Department of Computer Sciences, University of Illinois at Urbana-Champaign, Rpt. No. UIUCDCS-R-79?989."},{"key":"CR5","series-title":"Ph.D. Dissertation","doi-asserted-by":"crossref","DOI":"10.2172\/6424834","volume-title":"A Method for Determining the Side Effects of a Procedure Call's","author":"J. Banning","year":"1978","unstructured":"Banning, J. 1978.A Method for Determining the Side Effects of a Procedure Call's. Ph.D. Dissertation, Stanford University, Palo Alto, Calif."},{"issue":"9","key":"CR6","doi-asserted-by":"crossref","first-page":"724","DOI":"10.1145\/359588.359596","volume":"21","author":"J. Barth","year":"1978","unstructured":"Barth, J. 1978. A practical interprocedural data flow analysis algorithm.CACM, 21(9): 724?736.","journal-title":"CACM"},{"issue":"7","key":"CR7","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1145\/12276.13328","volume":"21","author":"M. Burke","year":"1986","unstructured":"Burke, M., and Cytron, R. 1986. Interprocedural dependence analysis and parallelization. In Conference Proceedings?The ACM SIGPLAN'86 Symposium on Compiler Construction. ACM SIGPLAN Notices, 21(7): 162?175.","journal-title":"Conference Proceedings?The ACM SIGPLAN'86 Symposium on Compiler Construction. ACM SIGPLAN Notices"},{"issue":"6","key":"CR8","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1145\/13310.13327","volume":"21","author":"D. Callahan","year":"1986","unstructured":"Callahan, D., Cooper, K., Kennedy, K., and Torczan, L. 1986. Interprocedural constant propagation.Proceedings of the ACM SIGPLAN '86 Symp. on Compiler Construction, SIGPLAN Notices, 21(6): 152?161.","journal-title":"Proceedings of the ACM SIGPLAN '86 Symp. on Compiler Construction, SIGPLAN Notices"},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"Cousot, P., and Halbwacks, N. 1978. Automatic discovery of linear restraints among variables of a program.Conf. Record of the 5-th Annual ACM Symp. on Principle of Program Languages, pp.84?96.","DOI":"10.1145\/512760.512770"},{"issue":"6","key":"CR10","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1145\/502949.502898","volume":"19","author":"K. D. Cooper","year":"1984","unstructured":"Cooper, K. D., and Kennedy, K. 1984. Efficient computation of flow insensitive interprocedural summary information.Proceedings of the ACM SIGPLAN '84 Symp. on Compiler Construction, SIGPLAN Notices, 19(6): 247?258.","journal-title":"Proceedings of the ACM SIGPLAN '84 Symp. on Compiler Construction, SIGPLAN Notices"},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"Cooper, K. D. 1985. Analyzing aliases of reference formal parameters.Conf. Record of the 12th Annual ACM Symp. on Principle of Program Languages, pp.281?290.","DOI":"10.1145\/318593.318658"},{"key":"CR12","volume-title":"Introduction to Matrices And Linear Transformations","author":"D. T. Finkbeiner II","year":"1978","unstructured":"Finkbeiner II, D. T. 1978.Introduction to Matrices And Linear Transformations, 3rd ed. Freeman, San Francisco.","edition":"3rd ed."},{"issue":"3","key":"CR13","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1109\/TSE.1977.231133","volume":"SE-3","author":"W. H. Harrison","year":"1977","unstructured":"Harrison, W. H. 1977. Compiler analysis of the value ranges for variables.IEEE Trans. Software Engineering, SE-3(3): 243?250.","journal-title":"IEEE Trans. Software Engineering"},{"key":"CR14","volume-title":"Flow Analysis of Computer Programs","author":"M. S. Hecht","year":"1977","unstructured":"Hecht, M. S. 1977.Flow Analysis of Computer Programs. North-Holland, Amsterdam."},{"key":"CR15","series-title":"M.S. Thesis","volume-title":"An In-Line Subroutine Expander for Parafrase","author":"C. A. Huson","year":"1982","unstructured":"Huson, C. A. 1982.An In-Line Subroutine Expander for Parafrase. M.S. Thesis, Univ. of Illinois at Urbana-Champaign, Report No. UIUCDCS-R-82?1118."},{"key":"CR16","unstructured":"Kildall, G. 1973. A unified approach to program optimization.Conference Record of First ACM Symposium on Principles of Programming Languages, pp. 194?206."},{"key":"CR17","volume-title":"Proceedings of CONPAR 81, Conf. on Analyzing Problem-Classes and Programming for Parallel Computing","author":"D. Kuck","year":"1981","unstructured":"Kuck, D. 1981. Automatic program restructuring for high-speed computations. In Proceedings of CONPAR 81, Conf. on Analyzing Problem-Classes and Programming for Parallel Computing, W. Handler, ed. (Nurnberg, F. R. Germany, June), Springer-Verlag, Berlin."},{"key":"CR18","unstructured":"Kuck, D., Kuhn, R., Padua, D., Leasure, B., and Wolfe, M. 1981. Dependence graphs and compiler organizations.Proceedings of the 8th ACM Symp. on Principles of Programming Languages (POPL), (Williamsburg, Va., Jan.),pp.207?218."},{"key":"CR19","series-title":"Ph.D. Thesis","volume-title":"Optimization and Interconnection Complexity for: Parallel Processors, Single-Stage Networks, And Decision Trees","author":"R. Kuhn","year":"1980","unstructured":"Kuhn, R. 1980.Optimization and Interconnection Complexity for: Parallel Processors, Single-Stage Networks, And Decision Trees. Ph.D. Thesis, Department of Computer Science, University of Illinois at Urbana-Champaign, Rpt. No. UIUCDCS-R - 80 -1009."},{"key":"CR20","series-title":"CSRD Report","volume-title":"Interprocedural Analysis and Program Restructuring for Parallel Programs","author":"Z. Li","year":"1988","unstructured":"Li, Z., and Yew, P. 1988a.Interprocedural Analysis and Program Restructuring for Parallel Programs. CSRD Report No. 720, University of Illinois at Urbana-Champaign."},{"key":"CR21","unstructured":"Li, Z., and Yew, P. 1988b. Interprocedural analysis for parallel computing. To appear in Proceedings of 1988 International Conference on Parallel Processing."},{"key":"CR22","series-title":"Tech. Rpt. CU-CS-175-80","volume-title":"A Precise And Efficient Algorithm for Determining Existential Summary Data Flow Information","author":"E. Myers","year":"1980","unstructured":"Myers, E. 1980.A Precise And Efficient Algorithm for Determining Existential Summary Data Flow Information. Tech. Rpt. CU-CS-175?80, University of Colorado, Boulder."},{"key":"CR23","doi-asserted-by":"crossref","unstructured":"Myers, E. 1981. A precise inter-procedural data flow algorithm.Conf. Record of the 8th Annual ACM Symp. on Principle of Program Languages, pp.219?230.","DOI":"10.1145\/567532.567556"},{"issue":"9","key":"CR24","doi-asserted-by":"crossref","first-page":"763","DOI":"10.1109\/TC.1980.1675676","volume":"C-29","author":"D. Padua","year":"1980","unstructured":"Padua, D., Kuck, D., and Lawrie, D. 1980. High-speed multiprocessors and compilation techniques.IEEE Trans. Computers, C-29(9): 763?776.","journal-title":"IEEE Trans. Computers"},{"key":"CR25","unstructured":"Parafrase Analyzer Document. 1985. Center for Supercomputing Research and Development, University of Illinois at Urbana-Champaign."},{"key":"CR26","doi-asserted-by":"crossref","unstructured":"Reif, J. H., and Lewis, H. R. 1977. Symbolic evaluation and the global value graph.Conference Record of Fourth ACM Symposium on Principle of Program Languages, pp. 104?118.","DOI":"10.1145\/512950.512961"},{"issue":"4","key":"CR27","doi-asserted-by":"crossref","first-page":"769","DOI":"10.1145\/322276.322288","volume":"28","author":"R. Shostak","year":"1981","unstructured":"Shostak, R. 1981. Deciding linear inequalities by computing loop residues.JACM, 28(4): 769?779.","journal-title":"JACM"},{"key":"CR28","series-title":"Ph.D. Thesis","volume-title":"Contribution a la Parallelization Automatique de Programmes Fortran Comportant des Appels de Procedure","author":"R. Triolet","year":"1984","unstructured":"Triolet, R. 1984.Contribution a la Parallelization Automatique de Programmes Fortran Comportant des Appels de Procedure. Ph.D. Thesis, Institut de Programmation, Universite Pierre et Marie Curie (Paris VI), Paris, France."},{"key":"CR29","series-title":"CARD Rpt.","volume-title":"Interprocedural Analysis for Program Restructuring with Parafrase","author":"R. Triolet","year":"1985","unstructured":"Triolet, R. 1985.Interprocedural Analysis for Program Restructuring with Parafrase. University of Illinois at Urbana-Champaign, CARD Rpt. No. 538."},{"issue":"6","key":"CR30","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1145\/13310.13329","volume":"21","author":"R. Triolet","year":"1986","unstructured":"Triolet, R., Irigoin, F., Feautrier, P. 1986. Direct parallelization of CALL statements.Proceedings of the ACM SIGPLAN '86 Symp. on Compiler Construction, SIGPLAN Notices, 21(6): 176?185.","journal-title":"Proceedings of the ACM SIGPLAN '86 Symp. on Compiler Construction, SIGPLAN Notices"},{"key":"CR31","doi-asserted-by":"crossref","unstructured":"Wegman, M., and Zadeck, F. 1985. Constant propagation with conditional branches.Conf. Record of the 12th Annual ACM Symp. on Principle of Program Languages, pp.291?299.","DOI":"10.1145\/318593.318659"},{"key":"CR32","unstructured":"Wolfe, M., and Banerjee, U. 1986. Data dependence for parallelism detection."},{"key":"CR33","series-title":"M.S. Thesis","volume-title":"Techniques for Improving the Inherent Parallelism in Programs","author":"M. Wolfe","year":"1978","unstructured":"Wolfe, M. 1978.Techniques for Improving the Inherent Parallelism in Programs. M.S. Thesis, University of Illinois at Urbana-Champaign, Rpt No. UIUCDCS-R-78?929."},{"key":"CR34","series-title":"Ph.D. thesis","volume-title":"Optimizing SuperCompilers for Supercomputers","author":"M. Wolfe","year":"1982","unstructured":"Wolfe, M. 1982.Optimizing SuperCompilers for Supercomputers. Ph.D. thesis, University of Illinois at Urbana-Champaign, DCS Report No. UIUCDCS-R-82?1105."}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00128178.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00128178\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00128178","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,19]],"date-time":"2024-12-19T15:58:29Z","timestamp":1734623909000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00128178"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,10]]},"references-count":34,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1988,10]]}},"alternative-id":["BF00128178"],"URL":"https:\/\/doi.org\/10.1007\/bf00128178","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"type":"print","value":"0920-8542"},{"type":"electronic","value":"1573-0484"}],"subject":[],"published":{"date-parts":[[1988,10]]}}}