{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,30]],"date-time":"2022-12-30T07:15:14Z","timestamp":1672384514970},"reference-count":65,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1994,11,1]],"date-time":"1994-11-01T00:00:00Z","timestamp":783648000000},"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":[[1994,11]]},"DOI":"10.1007\/bf01204730","type":"journal-article","created":{"date-parts":[[2005,2,18]],"date-time":"2005-02-18T16:01:55Z","timestamp":1108742515000},"page":"233-262","source":"Crossref","is-referenced-by-count":4,"title":["Effectively exploiting parallelism in data flow analysis"],"prefix":"10.1007","volume":"8","author":[{"given":"Yong -Fong","family":"Lee","sequence":"first","affiliation":[]},{"given":"Barbara G.","family":"Ryder","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","volume-title":"Compilers: Principles, Techniques, and Tools","author":"A.V. Aho","year":"1986","unstructured":"Aho, A.V., Sethi, R., and Ullman, J.D. 1986.Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading, Mass."},{"issue":"3","key":"CR2","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/360018.360025","volume":"19","author":"F.E. Allen","year":"1976","unstructured":"Allen, F.E., and Cocke, J. 1976. A program data flow analysis procedure.CACM, 19, 3: 137?147.","journal-title":"CACM"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"617","DOI":"10.1016\/0743-7315(88)90015-9","volume":"5","author":"F. Allen","year":"1988","unstructured":"Allen, F., Burke, M., Charles, P., Cytron, R., and Ferrante, J. 1988. An overview of the PTRAN analysis system for multiprocessing.J. Parallel and Distr. Comp., 5: 617?640.","journal-title":"J. Parallel and Distr. Comp."},{"key":"CR4","unstructured":"Anderson, J., and Lam, M.S. 1993. Global optimization for parallelism and locality. InProc., SIGPLAN '93 Conf. on Programming Language Design and Implementation, pp. 112?125."},{"key":"CR5","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, Boston."},{"key":"CR6","unstructured":"Banning, J. 1979. An efficient way to find the side effects of procedural calls and the aliases of variables. InConf. Record of the 6th Annual ACM Symp. on Principles of Programming Languages, pp. 29?41."},{"issue":"9","key":"CR7","doi-asserted-by":"crossref","first-page":"724","DOI":"10.1145\/359588.359596","volume":"21","author":"J.M. Barth","year":"1978","unstructured":"Barth, J.M. 1978. A practical interprocedural data flow analysis algorithm.CACM, 21, 9: 724?736.","journal-title":"CACM"},{"issue":"3","key":"CR8","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1145\/78969.78963","volume":"12","author":"M. Burke","year":"1990","unstructured":"Burke, M. 1990. An interval-based approach to exhaustive and incremental interprocedural data-flow analysis.ACM Trans. Programming Languages and Systems, 12, 3: 341?395.","journal-title":"ACM Trans. Programming Languages and Systems"},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"Burke, M., and Cytron, R. 1986. Interprocedural dependence analysis and parallelization. InProc., ACM SIGPLAN '86 Symp. on Compiler Construction (Palo Alto, Calif., June), pp. 162?175.","DOI":"10.1145\/12276.13328"},{"issue":"3","key":"CR10","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1145\/169683.169678","volume":"15","author":"M. Burke","year":"1993","unstructured":"Burke, M., and Torczon, L. 1993. Interprocedural optimization: Eliminating unnecessary recompilation.ACM Trans. Programming Languages and Systems, 15, 3: 367?399.","journal-title":"ACM Trans. Programming Languages and Systems"},{"key":"CR11","unstructured":"Callahan, D. 1988. The program summary graph and flow-sensitive interprocedural data flow analysis. InProc.,SIGPLAN '88 Conf. on Programming Language Design and Implementation, pp. 47?56."},{"issue":"2","key":"CR12","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/BF00128175","volume":"2","author":"D. Callahan","year":"1988","unstructured":"Callahan, D., and Kennedy, K. 1988. Compiling programs for distributed memory multiprocessors.The J. Super-computing, 2, 2 (Oct.): 151?170.","journal-title":"The J. Super-computing"},{"key":"CR13","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1177\/109434208800200409","volume":"4","author":"D. Callahan","year":"1988","unstructured":"Callahan, D., Cooper, K., Hood, R., Kennedy, K., and Torczon, L. 1988. ParaScope: A parallel programming environment.Internat. J. Supercomputing Applications, 2, 4: 84?99.","journal-title":"Internat. J. Supercomputing Applications, 2"},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"Chow, J.-H., and Harrison III, W.L. 1992. Compile-time analysis of parallel programs that share memory. InConf. Record of the 19th Annual ACM Symp. on Principles of Programming Languages, pp. 130?141.","DOI":"10.1145\/143165.143194"},{"key":"CR15","volume-title":"Tech. rept. TR87-61","author":"K. Cooper","year":"1987","unstructured":"Cooper, K., and Kennedy, K. 1987. Complexity of interprocedural side effect analysis. Tech. rept. TR87-61, Dept. of Comp. Sci., Rice Univ., Houston, Tex."},{"key":"CR16","doi-asserted-by":"crossref","unstructured":"Cooper, K., and Kennedy, K. 1988. Interprocedural side-effect analysis in linear time. InProc., SIGPLAN '88 Conf. on Programming Language Design and Implementation, pp. 57?66.","DOI":"10.1145\/53990.53996"},{"key":"CR17","first-page":"49","volume-title":"Conf. Record of the 16th Annual ACM Symp. on Principles of Programming Languages","author":"K. Cooper","year":"1989","unstructured":"Cooper, K., and Kennedy, K. 1989. Fast interprocedural alias analysis. InConf. Record of the 16th Annual ACM Symp. on Principles of Programming Languages (Austin, Tex., Jan.), ACM Press, pp. 49?59."},{"issue":"4","key":"CR18","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1145\/6465.6489","volume":"8","author":"K. Cooper","year":"1986","unstructured":"Cooper, K., Kennedy, K., and Torczon, L. 1986. The impact of interprocedural anslysis and optimization in the Rn programming environment.ACM Trans. Programming Languages and Systems, 8, 4: 491?523.","journal-title":"ACM Trans. Programming Languages and Systems"},{"key":"CR19","unstructured":"Cybenko, G., Kipp, L., Pointer, L., and Kuck, D. 1990. Supercomputer performance evaluation and the Perfect Benchmarks. InProc., 1990 Internat. Conf. on Supercomputing, pp. 254?266."},{"key":"CR20","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1145\/22899.22904","volume":"30","author":"J. Dongarra","year":"1987","unstructured":"Dongarra, J., and Grosse, E. 1987. Distribution of mathematical software via electronic mail.CACM, 30: 403?407.","journal-title":"CACM"},{"issue":"10","key":"CR21","doi-asserted-by":"crossref","first-page":"1483","DOI":"10.1109\/32.6194","volume":"14","author":"P. Frankl","year":"1988","unstructured":"Frankl, P., and Weyuker, E. 1988. An applicable family of data flow testing criteria.IEEE Trans. Software Eng., 14, 10: 1483?1498.","journal-title":"IEEE Trans. Software Eng."},{"key":"CR22","doi-asserted-by":"crossref","unstructured":"Goradia, T. 1993. Dynamic impact analysis: A cost effective technique to enforce error propagation. InProc.,1993 Internat. Symp. on Software Testing and Analysis, pp. 171?181.","DOI":"10.1145\/154183.154269"},{"issue":"1","key":"CR23","doi-asserted-by":"crossref","first-page":"172","DOI":"10.1145\/321921.321939","volume":"23","author":"S. Graham","year":"1976","unstructured":"Graham, S., and Wegman, M. 1976. A fast and usually linear algorithm for global flow analysis.JACM, 23 1: 172?202.","journal-title":"JACM"},{"key":"CR24","first-page":"854","volume":"91","author":"E. Granston","year":"1991","unstructured":"Granston, E., and Veidenbaum, A. 1991. Detecting redundant accesses to array data. InProc., Supercomputing 91 pp. 854?865.","journal-title":"Proc., Supercomputing"},{"key":"CR25","first-page":"91","volume-title":"Proc., SIGPLAN '89 Conf. on Programming Language Design and Implementation","author":"T. Gross","year":"1989","unstructured":"Gross, T., Zobel, A., and Zolg, M. 1989. Parallel compilation for a parallel machine. InProc., SIGPLAN '89 Conf. on Programming Language Design and Implementation (Portland, Ore., June), ACM Press, pp. 91?100."},{"key":"CR26","unstructured":"Gupta, R., Pollock, L., and Soffa, M.L. 1990. Parallelizing data flow analysis. InProc., Workshop on Parallel Compilation (Kingston, Ontario, May)."},{"key":"CR27","unstructured":"Harrold, M.J., and Soffa, M.L. 1989. Interprocedural data flow testing. InProc., 3rd Testing, Analysis, and Verification Symp., pp. 158?167."},{"key":"CR28","unstructured":"Harrold, M.J., and Soffa, M.L. 1990. Computation of interprocedural definition and use dependencies. InProc., 7990 Internat. Conf. on Computer Languages, pp. 297?306."},{"issue":"2","key":"CR29","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1109\/52.73750","volume":"8","author":"M.J. Harrold","year":"1991","unstructured":"Harrold, M.J., and Soffa, M.L. 1991. Selecting and using data for integration testing.IEEE Software, 8, 2: 58?65.","journal-title":"IEEE Software"},{"key":"CR30","volume-title":"Flow Analysis of Computer Programs","author":"M.S. Hecht","year":"1977","unstructured":"Hecht, M.S. 1977.Flow Analysis of Computer Programs. Elsevier North-Holland, Amsterdam."},{"issue":"1","key":"CR31","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/BF00162344","volume":"4","author":"L.A. Henderson","year":"1990","unstructured":"Henderson, L.A., Hiromoto, R.E., Lubeck, O.M., and Simmons, M.L. 1990. On the use of diagnostic dependence-analysis tools in parallel programming: Experiences in using PTOOL.The J. Supercomputing, 4, 1: 83?96.","journal-title":"The J. Supercomputing"},{"key":"CR32","first-page":"86","volume":"91","author":"S. Hiranandani","year":"1991","unstructured":"Hiranandani, S., Kennedy, K., and Tseng, C.-W. 1991. Compiler optimizations for Fortran D on MIMD distributed-memory machines. InProc., Supercomputing 91, pp. 86?100.","journal-title":"Proc., Supercomputing"},{"issue":"3","key":"CR33","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1145\/65979.65980","volume":"11","author":"S. Horwitz","year":"1989","unstructured":"Horwitz, S., Prins, J., and Reps, T. 1989. Integrating non-interfering versions of programs.ACM Trans. Programming Languages and Systems, 11, 3: 345?387.","journal-title":"ACM Trans. Programming Languages and Systems"},{"key":"CR34","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/77606.77608","volume":"12","author":"S. Horwitz","year":"1990","unstructured":"Horwitz, S., Reps, T., and Binkley, D. 1990. Interprocedural slicing using dependence graphs.ACM Trans. Programming Languages and Systems, 12, 1.","journal-title":"ACM Trans. Programming Languages and Systems"},{"key":"CR35","unstructured":"Kramer, R., Gupta, R., and Soffa, M.L. 1991. The combining DAG: A technique for parallel data flow analysis. Tech. rept. 91-8, Univ. Pittsburgh, Penn."},{"key":"CR36","doi-asserted-by":"crossref","unstructured":"Landi, W., Ryder, B.G., and Zhang, S. 1993. Interprocedural modification side effect analysis with pointer aliasing. InProc., SIGPLAN '93 Conf. on Programming Language Design and Implementation, pp. 56?67.","DOI":"10.1145\/155090.155096"},{"key":"CR37","volume-title":"Ph.D. thesis","author":"Y.-F. Lee","year":"1992","unstructured":"Lee, Y.-F. 1992. Performing data flow analysis in parallel. Ph.D. thesis, Dept. of Comp. Sci., Rutgers Univ., New Brunswick, N.J."},{"key":"CR38","unstructured":"Lee, Y.-F, and Ryder, B.G. 1992. Parallel hybrid data flow algorithms: A case study. InConf. Record of the 5th Workshop on Languages and Compilers for Parallel Computing, Yale Univ., pp. 183?190."},{"key":"CR39","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/BF00127842","volume":"5","author":"Y.-F. Lee","year":"1991","unstructured":"Lee, Y.-F., Marlowe, T.J., and Ryder, B.G. 1991. Experiences with a parallel algorithm for data flow analysis.The J. Supercomputing, 5, 2: 163?188.","journal-title":"The J. Supercomputing"},{"key":"CR40","unstructured":"Lee, Y.-F., Ryder, B.G., and Fiuczynski, M.E. 1994. Region analysis: A parallel elimination method for data flow analysis. InProc., IEEE 1994 Conf. on Comp. Languages (Toulouse, France, May)."},{"key":"CR41","unstructured":"Loeliger, J., Metzger, R., Seligman, M., and Stroud, S. 1991. Pointer target tracking?An empirical study. InProc. Supercomputing '91, pp. 14?22."},{"key":"CR42","first-page":"184","volume-title":"Conf. Record of the 17th Annual ACM Symp. on Principles of Programming Languages","author":"T.J. Marlowe","year":"1990","unstructured":"Marlowe, T.J., and Ryder, B.G. 1990. An efficient hybrid algorithm for incremental data flow analysis. InConf. Record of the 17th Annual ACM Symp. on Principles of Programming Languages (San Francisco, Jan.), ACM Press, pp. 184?196."},{"issue":"2","key":"CR43","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/BF01237234","volume":"28","author":"T.J. Marlowe","year":"1991","unstructured":"Marlowe, T.J., and Ryder, B.G. 1991. Properties of data flow frameworks: A unified model.Acta Informatica, 28, 2: 121?164.","journal-title":"Acta Informatica"},{"key":"CR44","unstructured":"Midkiff, S.P., and Padua, D.A. 1990. Issues in the optimization of parallel programs. InProc., 1990 Internat. Conf. on Parallel Processing, vol. 2, Penn. State Univ. Press, pp. 105?113."},{"key":"CR45","unstructured":"Ostrand, T.J. 1990. Data-flow testing with pointers and function calls. InProc., Pacific Northwest Software Quality Conf. (Oct.)."},{"key":"CR46","doi-asserted-by":"crossref","unstructured":"Ostrand, T.J., and Weyuker, E. 1991. Data flow based test adequacy analysis for languages with pointers. InProc., 1991 Symp. on Software Testing, Analysis and Verification (TAV4), (Victoria, B.C., Canada, Oct.).","DOI":"10.1145\/120807.120814"},{"key":"CR47","doi-asserted-by":"crossref","unstructured":"Ottenstein, K.J., and Ottenstein, L.M. 1984. The program dependence graph in a software development environment. InProc. ACM SIGSOFT\/SIGPLAN Software Eng. Symp. on Practical Software Development Environments, pp. 177?184.","DOI":"10.1145\/800020.808263"},{"issue":"12","key":"CR48","doi-asserted-by":"crossref","first-page":"1184","DOI":"10.1145\/7902.7904","volume":"29","author":"D. Padua","year":"1986","unstructured":"Padua, D., and Wolfe, M. 1986. Advanced compiler optimizations for supercomputers.CACM, 29, 12: 1184?1201.","journal-title":"CACM"},{"issue":"5","key":"CR49","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1109\/32.286418","volume":"20","author":"H.D. Pande","year":"1994","unstructured":"Pande, H.D., Landi, W., and Ryder, B.G. 1994. Interprocedureal def-use associations for C systems with single level pointers.IEEE Trans. Software Eng., 20, 5: 385?403.","journal-title":"IEEE Trans. Software Eng."},{"key":"CR50","volume-title":"Parallel Programming and Compilers","author":"C.D. Polychronopoulos","year":"1998","unstructured":"Polychronopoulos, C.D. 1998.Parallel Programming and Compilers. Kluwer Academic, Boston."},{"key":"CR51","first-page":"39","volume":"2","author":"C.D. Polychronopoulos","year":"1989","unstructured":"Polychronopoulos, C.D., Girkar, M., Haghighat, M.R., Lee, C.L., Leung, B., and Schouten, D. 1989. Paraphrase-2: An environment for parallelizing, partitioning, synchronizing, and scheduling programs on multiprocessors. InProc., 1989 Internat. Conf. on Parallel Processing, vol. 2, pp. 39?48.","journal-title":"Proc., 1989 Internat. Conf. on Parallel Processing"},{"issue":"4","key":"CR52","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1109\/TSE.1985.232226","volume":"SE-11","author":"S. Rapps","year":"1985","unstructured":"Rapps, S., and Weyuker, E. 1985. Selecting software test data using data flow information.IEEE Trans. Software Eng., SE-11, 4: 367?375.","journal-title":"IEEE Trans. Software Eng."},{"key":"CR53","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-9623-9","volume-title":"The Symthesizer Generator: A System for Constructing Language-Based Editors","author":"T. Reps","year":"1989","unstructured":"Reps, T., and Teitelbaum, T. 1989.The Symthesizer Generator: A System for Constructing Language-Based Editors. Springer-Verlag, New York."},{"key":"CR54","unstructured":"Ryder, B.G. 1989. ISMM: Incremental software maintenance manager. InProc., IEEE Comp. Soc. Conf. on Software Maintenance, pp. 142?164."},{"issue":"3","key":"CR55","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1145\/27632.27649","volume":"18","author":"B.G. Ryder","year":"1986","unstructured":"Ryder, B.G., and Paull, M.C. 1986. Elimination algorithms for data flow analysis.ACM Computing Surveys, 18, 3: 277?316.","journal-title":"ACM Computing Surveys"},{"issue":"2","key":"CR56","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1109\/32.44377","volume":"16","author":"B.G. Ryder","year":"1990","unstructured":"Ryder, B.G., Landi, W., and Pande, H. 1990. Profiling an incremental data flow analysis algorithm.IEEE Trans. Software Eng., 16, 2: 129?140.","journal-title":"IEEE Trans. Software Eng."},{"key":"CR57","doi-asserted-by":"crossref","unstructured":"Santhanam, V., and Odnert, D. 1990. Register allocation across procedure and module boundaries. InProc., SIGPLAN '90 Conf. on Programming Languages Design and Implementation, pp. 28?39.","DOI":"10.1145\/93542.93551"},{"key":"CR58","unstructured":"Srinivasan, H., Hook, J., and Wolfe, M. 1993. SSA for explicitly parallel programs. InConf. Record of the 20th Annual ACM Symp. on Principles of Programming Languages, pp. 260?272."},{"key":"CR59","doi-asserted-by":"crossref","unstructured":"Venkatesh, G.A. 1991. The semantic approach to program slicing. InProc., SIGPLAN '91 Conf. on Programming Languages Design and Implementation, pp. 107?119.","DOI":"10.1145\/113445.113455"},{"issue":"4","key":"CR60","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","volume":"SE-10","author":"M. Weiser","year":"1984","unstructured":"Weiser, M. 1984. Program slicing,IEEE Trans. Software Eng., SE-10, 4: 352?357.","journal-title":"IEEE Trans. Software Eng."},{"key":"CR61","volume-title":"Optimizing Supercompilers for Supercomputers","author":"M. Wolfe","year":"1989","unstructured":"Wolfe, M. 1989.Optimizing Supercompilers for Supercomputers. MIT Press, Cambridge, Mass."},{"issue":"3","key":"CR62","doi-asserted-by":"crossref","first-page":"310","DOI":"10.1145\/131736.131756","volume":"1","author":"W. Yang","year":"1992","unstructured":"Yang, W., Horwitz, S., and Reps, T. 1992. A program integration algorithm that accommodates semantics preserving transformations.ACM Trans. Software Engineering, 1, 3: 310?354.","journal-title":"ACM Trans. Software Engineering"},{"key":"CR63","first-page":"132","volume-title":"Proc., ACM SIGPLAN '84 Symp. on Compiler Construction","author":"F.K. Zadeck","year":"1984","unstructured":"Zadeck, F.K. 1984. Incremental data flow analysis in a structured program editor. InProc., ACM SIGPLAN '84 Symp. on Compiler Construction (Montreal, June), ACM Press, pp. 132?143."},{"issue":"1","key":"CR64","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0167-8191(88)90002-6","volume":"6","author":"H.P. Zima","year":"1988","unstructured":"Zima, H.P., Bast, H.-J., and Gerndt, M. 1988. SUPERB: A tool for semi-automatic MIMD\/SIMD parallelization.Parallel Computing, 6, 1: 1?18.","journal-title":"Parallel Computing"},{"key":"CR65","unstructured":"Zobel, A. 1990. Parallel interval analysis of data equations. InProc., 1990 Internat. Conf. on Parallel Processing, vol. 2, Penn. State Univ. Press, pp. 9?16."}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01204730.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01204730\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01204730","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T21:15:10Z","timestamp":1586121310000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01204730"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,11]]},"references-count":65,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1994,11]]}},"alternative-id":["BF01204730"],"URL":"https:\/\/doi.org\/10.1007\/bf01204730","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"value":"0920-8542","type":"print"},{"value":"1573-0484","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,11]]}}}