{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,10]],"date-time":"2025-04-10T05:46:31Z","timestamp":1744263991991},"reference-count":32,"publisher":"Wiley","issue":"2","license":[{"start":{"date-parts":[[2006,10,30]],"date-time":"2006-10-30T00:00:00Z","timestamp":1162166400000},"content-version":"vor","delay-in-days":6480,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Pract Exp"],"published-print":{"date-parts":[[1989,2]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The problem of tracking data flow across procedure boundaries has a long history of theoretical study by people who believed that such information would be useful for code optimization. Building upon previous work, an algorithm for interprocedural data flow analysis has been implemented. The algorithm produces three flow\u2010insensitive summary sets: MOD, USE and ALIASES. The utility of the resulting information was investigated using an optimizing Pascal compiler. Over a sampling of 27 bench\u2010marks, new optimizations performed as a result of interprocedural summary information contributed almost nothing to program execution speed. Finally, related optimization techniques of possibly greater potential are discussed.<\/jats:p>","DOI":"10.1002\/spe.4380190205","type":"journal-article","created":{"date-parts":[[2006,11,17]],"date-time":"2006-11-17T20:56:43Z","timestamp":1163797003000},"page":"149-169","source":"Crossref","is-referenced-by-count":20,"title":["Interprocedural optimization: Experimental results"],"prefix":"10.1002","volume":"19","author":[{"given":"Stephen","family":"Richardson","sequence":"first","affiliation":[]},{"given":"Mahadevan","family":"Ganapathi","sequence":"additional","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2006,10,30]]},"reference":[{"key":"e_1_2_1_2_2","first-page":"376","volume-title":"Proceedings of the IFIP Congress 1971","author":"Spillman T. C.","year":"1971"},{"key":"e_1_2_1_3_2","first-page":"398","volume-title":"Proceedings of the IFIP Congress 1974","author":"Allen Fran E.","year":"1974"},{"key":"e_1_2_1_4_2","unstructured":"B.Rosen \u2018Data flow analysis for procedural languages\u2019 Research Report IBM Yorktown Heights RC 5948 IBM 1976."},{"key":"e_1_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1147\/rd.216.0559"},{"key":"e_1_2_1_6_2","first-page":"119","volume-title":"An interprocedural data flow analysis algorithm","author":"Barth Jeffrey M.","year":"1977"},{"key":"e_1_2_1_7_2","doi-asserted-by":"crossref","unstructured":"J. P.Banning \u2018An efficient way to find the side effects of procedure calls and the aliases of variables\u2019 Proc. 6th POPL Conference ACM 1979 pp.724\u2013736.","DOI":"10.1145\/567752.567756"},{"key":"e_1_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/567446.567455"},{"key":"e_1_2_1_9_2","volume-title":"A precise interprocedural data flow analysis algorithm","author":"Myers E.","year":"1981"},{"key":"e_1_2_1_10_2","volume-title":"Program Flow Analysis: Theory and Applications","author":"Sharir M.","year":"1981"},{"key":"e_1_2_1_11_2","doi-asserted-by":"crossref","unstructured":"Neil D.JonesandSteven S.Muchnik \u2018A flexible approach to interprocedural flow analysis and programs with recursive data structures\u2019 Conf. Rec. of the Ninth ACM Symp. on Princ. of Prog. Lang. ACM January1982 pp.66\u201374.","DOI":"10.1145\/582153.582161"},{"key":"e_1_2_1_12_2","first-page":"247","volume-title":"Efficient computation of flow insensitive interprocedural summary information","author":"Cooper K.","year":"1984"},{"key":"e_1_2_1_13_2","unstructured":"M. D.Carroll \u2018Dataflow update via attribute and dominator update\u2019 Ph.D. dissertation Rutgers University 1987."},{"key":"e_1_2_1_14_2","doi-asserted-by":"publisher","DOI":"10.1145\/44326.44329"},{"key":"e_1_2_1_15_2","volume-title":"An interval analysis approach toward interprocedural data flow","author":"Burke M.","year":"1984"},{"key":"e_1_2_1_16_2","unstructured":"K.CooperandK.Kennedy \u2018Complexity of interprocedural side\u2010effect analysis\u2019 Tech. report TR87\u201061 Rice University October1987."},{"key":"e_1_2_1_17_2","doi-asserted-by":"crossref","unstructured":"Keith D.CooperandKenKennedy \u2018Interprocedural side\u2010effect analysis in linear time\u2019 Proceedings of the SIGPLAN '88 Conference on Programming Language Design and Implementation Atlanta Georgia June1988.","DOI":"10.1145\/53990.53996"},{"key":"e_1_2_1_18_2","unstructured":"F.Chow \u2018A portable machine\u2010independent global optimizer \u2014 design and measurements\u2019 Ph.D. Dissertation Stanford University December1983."},{"issue":"6","key":"e_1_2_1_19_2","first-page":"12","article-title":"Interprocedural analysis \u2014 a bibliography","volume":"22","author":"Richardson Stephen","year":"1987","journal-title":"SIGPLAN Notices"},{"key":"e_1_2_1_20_2","first-page":"1","volume-title":"Design and Optimization of Compilers","author":"Allen Fran E.","year":"1972"},{"key":"e_1_2_1_21_2","volume-title":"Compilers, Principles, Techniques and Tools","author":"Aho A. V.","year":"1986"},{"key":"e_1_2_1_22_2","volume-title":"An implementation of interprocedural data flow analysis in a vectorizing Fortran compiler","author":"Allen Randy","year":"1986"},{"key":"e_1_2_1_23_2","doi-asserted-by":"crossref","unstructured":"DavidCallahan \u2018The program summary graph and flow\u2010sensitive interprocedural data flow analysis\u2019 Proceedings of the SIGPLAN 88 Conference on Programming Language Design and Implementation ACM Atlanta Georgia June1988.","DOI":"10.1145\/53990.53995"},{"key":"e_1_2_1_24_2","unstructured":"FranAllen MichaelBurke PhillipeCharles RonCytronandJeanneFerrante \u2018An overview of the PTRAN analysis system for multiprocessing\u2019 Proceedings of the 1987 International Conference on Supercomputing Springer\u2010Verlag Athens Greece 1987. To appear in a special issue of the Journal of Parallel and Distributed Computing."},{"key":"e_1_2_1_25_2","unstructured":"L.Torczon \u2018Compilation dependencies in an ambitious optimizing compiler\u2019 Ph.D. dissertation Rice University May1985."},{"key":"e_1_2_1_26_2","unstructured":"S.McFarling \u2018Profile based optimization\u2019 Ph.D. Thesis not yet published."},{"key":"e_1_2_1_27_2","volume-title":"Symposium on LISP and Functional Programming","author":"Steenkiste P.","year":"1986"},{"key":"e_1_2_1_28_2","volume-title":"Global register allocation at link time","author":"David W. Wall","year":"1986"},{"key":"e_1_2_1_29_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-8191(84)90036-X"},{"key":"e_1_2_1_30_2","doi-asserted-by":"crossref","unstructured":"C. M.FiducciaandR. M.Mattheyses \u2018A linear time heuristic for improving network partitions\u2019 in Proceedings of the 19th Design Automation Conference Las Vegas Nevada June1982.","DOI":"10.1109\/DAC.1982.1585498"},{"key":"e_1_2_1_31_2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(79)90041-0"},{"key":"e_1_2_1_32_2","volume-title":"The SCALD physical design subsystem","author":"McWilliams T. M.","year":"1988"},{"issue":"9","key":"e_1_2_1_33_2","first-page":"180","article-title":"A high\u2010level language benchmark","volume":"6","author":"Gilbreath Jim","year":"1981","journal-title":"BYTE Magazine"}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fspe.4380190205","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.4380190205","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,21]],"date-time":"2023-10-21T23:46:04Z","timestamp":1697931964000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/spe.4380190205"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,2]]},"references-count":32,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1989,2]]}},"alternative-id":["10.1002\/spe.4380190205"],"URL":"https:\/\/doi.org\/10.1002\/spe.4380190205","archive":["Portico"],"relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"value":"0038-0644","type":"print"},{"value":"1097-024X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1989,2]]}}}