{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T22:31:23Z","timestamp":1693866683874},"reference-count":44,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[1991,10,1]],"date-time":"1991-10-01T00:00:00Z","timestamp":686275200000},"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":[[1991,10]]},"DOI":"10.1007\/bf00127842","type":"journal-article","created":{"date-parts":[[2004,10,31]],"date-time":"2004-10-31T13:39:16Z","timestamp":1099229956000},"page":"163-188","source":"Crossref","is-referenced-by-count":10,"title":["Experiences with a parallel algorithm for data flow analysis"],"prefix":"10.1007","volume":"5","author":[{"given":"Yong-Fong","family":"Lee","sequence":"first","affiliation":[]},{"given":"Barbara G.","family":"Ryder","sequence":"additional","affiliation":[]},{"given":"Thomas J.","family":"Marlowe","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 Distributed Computing, 5: 617?640.","journal-title":"J. Parallel and Distributed Computing"},{"key":"CR4","volume-title":"Proc., Workshop on Parallel Compilation","year":"1990","unstructured":"Barnard, D., and Skillicorn, D., eds. 1990. Proc., Workshop on Parallel Compilation (Queens Univ., Kingston, Canada, May)."},{"issue":"3","key":"CR5","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1109\/TC.1981.1675756","volume":"C-30","author":"S.H. Bokhari","year":"1981","unstructured":"Bokhari, S.H. 1981. On the mapping problem. IEEE Trans. Comps., C-30, 3: 207?214.","journal-title":"IEEE Trans. Comps."},{"issue":"3","key":"CR6","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 data-flow analysis. ACM Trans. Programming Languages and Systems, 12, 3 (July), 341?395.","journal-title":"ACM Trans. Programming Languages and Systems"},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"Burke, M., and Cytron, R. 1986. Interprocedural dependence analysis and parallelization. In Proc., ACM SIGPLAN Symp. on Compiler Construction (Palo Alto, Calif., June), ACM Press, pp. 162?175.","DOI":"10.1145\/12276.13328"},{"issue":"4","key":"CR8","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1177\/109434208800200409","volume":"2","author":"D. Callahan","year":"1988","unstructured":"Callahan, D., Cooper, K., Hood, R., Kennedy, K., and Torczon, L. 1988. ParaScope: A parallel programming environment. The Internat. J. Supercomputer Applications, 2, 4: 84?99.","journal-title":"The Internat. J. Supercomputer Applications"},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"Carroll, M.D., and Ryder, B.G. 1988. Incremental data flow analysis via dominator and attribute updates. In Conf. Record of the Fifteenth Annual ACM Symp. on Principles of Programming Languages (San Diego, Calif., Jan.), ACM Press, pp. 274?284.","DOI":"10.1145\/73560.73584"},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"Cooper, K.D., and Kennedy, K. 1984. Efficient computation of flow insensitive interprocedural summary information. In Proc., ACM SIGPLAN '84 Symp. on Compiler Construction (Montreal, June).","DOI":"10.1145\/502874.502898"},{"key":"CR11","unstructured":"Cooper, K., and Kennedy, K. 1989. Fast interprocedural alias analysis. In Conf. Record of The Sixteenth Annual ACM Symp. on Principles of Programming Languages (Austin, Tex., Jan.), ACM Press, pp. 49?59."},{"issue":"4","key":"CR12","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 analysis and optimization in the R n programming environment. ACM Trans. Programming Languages and Systems, 8, 4: 491?523.","journal-title":"ACM Trans. Programming Languages and Systems"},{"key":"CR13","series-title":"Ph.D. thesis","volume-title":"Parallel incremental compilation","author":"N.M. Gafter","year":"1990","unstructured":"Gafter, N.M. 1990. Parallel incremental compilation. Ph.D. thesis, Dept. of Comp. Sci., Univ. of Rochester, Rochester, N.Y."},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"Gross, T., Zobel, A., and Zolg, M. 1989. Parallel compilation for a parallel machine. In Proc., SIGPLAN '89 Conf. on Programming Language Design and Implementation (Portland, Ore., June), ACM Press, pp. 91?100.","DOI":"10.1145\/73141.74826"},{"key":"CR15","unstructured":"Gupta, R., Pollock, L., and Soffa, M.L. 1990. Parallelizing data flow analysis. In Proc., Workshop on Parallel Compilation (Kingston, Canada, May)."},{"key":"CR16","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":"CR17","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 using PTOOL. The J. Supercomputing, 4, 1 (Mar.), 83?96.","journal-title":"The J. Supercomputing"},{"issue":"8","key":"CR18","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R. 1978. Communicating Sequential Processes. CACM, 21, 8 (Aug.), 666?677.","journal-title":"CACM"},{"issue":"11","key":"CR19","doi-asserted-by":"crossref","first-page":"1023","DOI":"10.1109\/TC.1984.1676376","volume":"C-33","author":"H. Kasahara","year":"1984","unstructured":"Kasahara, H., and Narita, S. 1984. Practical multiprocessor scheduling algorithms for efficient parallel processing. IEEE Trans. Comps., C-33, 11: 1023?1029.","journal-title":"IEEE Trans. Comps."},{"key":"CR20","series-title":"Tech. rept. 91-8","volume-title":"The combining DAG: A technique for parallel data flow analysis","author":"R. Kramer","year":"1991","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. of Pittsburgh, Pittsburgh, Penn."},{"key":"CR21","series-title":"Tech. rept. CAIP-TR-108","volume-title":"Parallel hybrid data flow analysis algorithms","author":"Y. Lee","year":"1990","unstructured":"Lee, Y., Marlowe, T.J., and Ryder, B.G. 1990a. Parallel hybrid data flow analysis algorithms. Tech. rept. CAIP-TR-108, Center for Computer Aids for Industrial Productivity, Rutgers Univ., New Brunswick, N.J."},{"key":"CR22","doi-asserted-by":"crossref","unstructured":"Lee, Y., Marlowe, T.J., and Ryder, B.G. 1990b. Performing data flow analysis in parallel. In Proc., Supercomputing '90 (New York, Nov.), IEEE Comp. Soc. Press, pp. 942?951.","DOI":"10.1109\/SUPERC.1990.130122"},{"issue":"1","key":"CR23","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1287\/opre.26.1.22","volume":"26","author":"J.K. Lenstra","year":"1978","unstructured":"Lenstra, J.K., and Kan, Rinnooy A.H.G. 1978. Complexity of scheduling under precedence constraints. Operations Research, 26, 1: 22?35.","journal-title":"Operations Research"},{"key":"CR24","series-title":"Ph.D. thesis","volume-title":"Incremental iteration and data flow","author":"T.J. Marlowe","year":"1989","unstructured":"Marlowe, T.J. 1989. Incremental iteration and data flow. Ph.D. thesis, Dept. of Comp. Sci., Rutgers Univ., New Brunswick, N.J."},{"key":"CR25","doi-asserted-by":"crossref","unstructured":"Marlowe, T.J., and Ryder, B.G. 1990. An efficient hybrid algorithm for incremental data flow analysis. In Conf. Record of the 17th Annual ACM Symp. on Principles of Programming Languages (San Francisco, Jan.), ACM Press, pp. 184?196.","DOI":"10.1145\/96709.96728"},{"issue":"2","key":"CR26","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":"CR27","unstructured":"Midkiff, S.P., and Padua, D.A. 1990. Issues in the optimization of parallel programs. In Proc., 1990 Internat. Conf. on Parallel Processing. vol. 2 (Aug.), The Penn State Univ. Press, pp. 105?113"},{"key":"CR28","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-1077-8","volume-title":"Parallel Programming and Compilers","author":"C.D. Polychronopoulos","year":"1988","unstructured":"Polychronopoulos, C.D. 1988. Parallel Programming and Compilers. Kluwer Acad. Pub., Boston, Mass."},{"key":"CR29","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. In Proc., 1989 Internat. Conf. on Parallel Processing, vol. 2, The Penn State Univ. Press, pp. 39?48."},{"issue":"4","key":"CR30","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.J. 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":"CR31","unstructured":"Ryder, B.G. 1989. ISMM: Incremental software maintenance manager. In Proc., IEEE Comp. Soc. Conf. on Software Maintenance (Miami, Fla., Oct.), IEEE Comp. Soc. Press, pp. 142?164."},{"key":"CR32","series-title":"Tech. rept. LCSR-TR-99","volume-title":"The interprocedural structure of C programs: An empirical study","author":"B.G. Ryder","year":"1988","unstructured":"Ryder, B.G., and Pande, H. 1988. The interprocedural structure of C programs: An empirical study. Tech. rept. LCSR-TR-99, Dept. of Comp. Sci., Rutgers Univ., New Brunswick, N.J."},{"issue":"3","key":"CR33","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 (Sept.), 277?316.","journal-title":"ACM Computing Surveys"},{"issue":"1","key":"CR34","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/42192.42193","volume":"10","author":"B.G. Ryder","year":"1988","unstructured":"Ryder, B.G., and Paull, M.C. 1988. Incremental data flow analysis algorithms. ACM Trans. Programming Languages and Systems, 10, 1 (Jan.), 1?50.","journal-title":"ACM Trans. Programming Languages and Systems"},{"issue":"2","key":"CR35","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 (Feb.), 129?140.","journal-title":"IEEE Trans. Software Eng."},{"key":"CR36","doi-asserted-by":"crossref","unstructured":"Sarkar, V. 1989. Determining average program execution times and their variances. In Proc., SIGPLAN '89 Conf. on Programming Languages Design and Implementation (Portland, Ore., June), ACM Press, pp. 298?312.","DOI":"10.1145\/73141.74845"},{"key":"CR37","doi-asserted-by":"crossref","unstructured":"Seshadri, V., Wortman, D.B., Junkin, M.D., Weber, S., Yu, C.P., and Small, I. 1988. Semantic analysis in a concurrent compiler. In Proc., SIGPLAN '88 Conf. on Language Design and Implementation (Atlanta, June), ACM Press, pp. 233?240.","DOI":"10.1145\/53990.54013"},{"key":"CR38","unstructured":"Smith, K., and Appelbe, B. 1988. PAT?An interactive Fortran parallelizing assistant tool. In Proc., Internat. Conf. on Parallel Processing, vol. 2 (Aug.), The Penn State Univ. Press, pp. 58?62."},{"issue":"4","key":"CR39","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/71317.71318","volume":"17","author":"A.M. Tilborg van","year":"1989","unstructured":"van Tilborg, A.M. 1989. Panel on future directions in parallel computer architecture. Comp. Arch. News, 17, 4 (June), 3?22.","journal-title":"Comp. Arch. News"},{"issue":"4","key":"CR40","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. on Software Eng., SE-10, 4 (July), 352?357.","journal-title":"IEEE Trans. on Software Eng."},{"key":"CR41","volume-title":"Optimizing Supercompilers for Supercomputers","author":"M. Wolfe","year":"1989","unstructured":"Wolfe, M. 1989. Optimizing Supercompilers for Supercomputers. The MIT Press, Cambridge, Mass."},{"key":"CR42","doi-asserted-by":"crossref","unstructured":"Yang, W, Horwitz, S., and Reps, T. 1990. A program integration algorithm that accommodates semantics preserving transformations. In Proc., Fourth ACM SIGSOFT Symp. on Software Development Environments (Irvine, Calif., Dec.), ACM Press, pp. 133?143.","DOI":"10.1145\/99277.99290"},{"key":"CR43","unstructured":"Zadeck, F.K. 1984. Incremental data flow analysis in a structured program editor. In Proc., SIGPLAN '84 Symp. on Compiler Construction (Montreal, June), ACM Press, pp. 132?143."},{"key":"CR44","unstructured":"Zobel, A. 1990. Parallel interval analysis of data flow equations. In Proc., 1990 Internat. Conf. on Parallel Processing, vol. 2 (Aug.), The 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\/BF00127842.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00127842\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00127842","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,3]],"date-time":"2019-04-03T04:49:47Z","timestamp":1554266987000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00127842"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,10]]},"references-count":44,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1991,10]]}},"alternative-id":["BF00127842"],"URL":"https:\/\/doi.org\/10.1007\/bf00127842","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"value":"0920-8542","type":"print"},{"value":"1573-0484","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991,10]]}}}