{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:04:35Z","timestamp":1748070275414},"reference-count":38,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1996,2,1]],"date-time":"1996-02-01T00:00:00Z","timestamp":823132800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Parallel Computing"],"published-print":{"date-parts":[[1996,2]]},"DOI":"10.1016\/0167-8191(96)00002-6","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T23:18:22Z","timestamp":1027639102000},"page":"197-226","source":"Crossref","is-referenced-by-count":25,"title":["Exploitation of symbolic information in interprocedural dependence analysis"],"prefix":"10.1016","volume":"22","author":[{"given":"S.P.","family":"Johnson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Cross","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.G.","family":"Everett","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"2","key":"10.1016\/0167-8191(96)00002-6_BIB1","doi-asserted-by":"crossref","DOI":"10.1016\/0167-8191(95)00004-6","article-title":"Computer aided parallelisation tools (CAPTools) \u2014 Conceptual overview and performance on the parallelisation of structured mesh codes","volume":"22","author":"Ierotheou","year":"1996","journal-title":"Parallel Computing"},{"issue":"2","key":"10.1016\/0167-8191(96)00002-6_BIB2","doi-asserted-by":"crossref","DOI":"10.1016\/0167-8191(95)00003-8","article-title":"Integrating user knowledge with information from parallelisation tools to facilitate the automatic generation of efficient parallel FORTRAN code","volume":"22","author":"Leggett","year":"1996","journal-title":"Parallel Computing"},{"key":"10.1016\/0167-8191(96)00002-6_BIB3","volume":"Vol 1","author":"Kuck","year":"1978"},{"key":"10.1016\/0167-8191(96)00002-6_BIB4","series-title":"Proc. IEEE Computer Society Fourth Int. Computer Software and Applications Conf.","article-title":"The structure of an advanced vectoriser for pipeline processors","author":"Kuck","year":"1980"},{"key":"10.1016\/0167-8191(96)00002-6_BIB5","series-title":"Conf. Record 8th ACM Symp. on Principals of Programming Languages","first-page":"207","article-title":"Compiler transformations of dependence graphs","author":"Kuck","year":"1981"},{"key":"10.1016\/0167-8191(96)00002-6_BIB6","article-title":"Speedup of ordinary programs","author":"Banerjee","year":"1979"},{"key":"10.1016\/0167-8191(96)00002-6_BIB7","series-title":"Proc. IBM Conf. on Parallel Computation and Scientific Applications","article-title":"PFC \u2014 A program to convert Fortran programs to parallel form","author":"Allen","year":"1982"},{"key":"10.1016\/0167-8191(96)00002-6_BIB8","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1145\/29873.29875","article-title":"Automatic translation of Fortran programs to vector form","volume":"9","author":"Allen","year":"1987","journal-title":"ACM Trans. Programming Languages Systems"},{"key":"10.1016\/0167-8191(96)00002-6_BIB9","series-title":"Proc. 1986 Int. Conf. on Parallel Processing","first-page":"164","article-title":"PTOOL: A semi-automatic parallel programming assistant","author":"Allen","year":"1986"},{"key":"10.1016\/0167-8191(96)00002-6_BIB10","series-title":"Proc. ACM Symp. on Compiler Construction","first-page":"152","article-title":"Interprocedural constant propagation","author":"Callahan","year":"1986"},{"issue":"3","key":"10.1016\/0167-8191(96)00002-6_BIB11","doi-asserted-by":"crossref","DOI":"10.1109\/71.86110","article-title":"An implementation of interprocedural bounded regular section analysis","volume":"2","author":"Havlak","year":"1991","journal-title":"IEEE Trans. Parallel Distributed Syst."},{"key":"10.1016\/0167-8191(96)00002-6_BIB12","series-title":"Environments and Tools for Parallel Scientific Computing","first-page":"333","article-title":"Interprocedural analysis for programming environments","author":"Irigoin","year":"1992"},{"key":"10.1016\/0167-8191(96)00002-6_BIB13","series-title":"Advances in Languages and Compilers for Parallel Processing","first-page":"310","article-title":"Symbolic dependence analysis for high-performance parallelizing compilers","author":"Haghighat","year":"1990"},{"key":"10.1016\/0167-8191(96)00002-6_BIB14","year":"1992","journal-title":"Forge 90 Users Guide"},{"key":"10.1016\/0167-8191(96)00002-6_BIB15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0167-8191(88)90002-6","article-title":"SUPERB \u2014 A tool for semi-automatic MIMD\/SIMD parallelisation","volume":"6","author":"Zima","year":"1988","journal-title":"Parallel Computing"},{"key":"10.1016\/0167-8191(96)00002-6_BIB16","author":"Zima","year":"1990"},{"issue":"2","key":"10.1016\/0167-8191(96)00002-6_BIB17","doi-asserted-by":"crossref","DOI":"10.1016\/0167-8191(96)00005-1","article-title":"Code generation for message passing distributed memory systems","volume":"22","author":"Johnson","year":"1996","journal-title":"Parallel Computing"},{"key":"10.1016\/0167-8191(96)00002-6_BIB18","author":"Banerjee","year":"1988"},{"key":"10.1016\/0167-8191(96)00002-6_BIB19","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1145\/24039.24041","article-title":"The program dependence graph and its use in optimisation","volume":"9","author":"Ferrante","year":"1987","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"10.1016\/0167-8191(96)00002-6_BIB20","author":"Aho","year":"1977"},{"key":"10.1016\/0167-8191(96)00002-6_BIB21","author":"Aho","year":"1986"},{"key":"10.1016\/0167-8191(96)00002-6_BIB22","article-title":"Mapping numerical software onto distributed memory parallel systems","author":"Johnson","year":"1992"},{"key":"10.1016\/0167-8191(96)00002-6_BIB23","author":"Anderson","year":"1988"},{"key":"10.1016\/0167-8191(96)00002-6_BIB24","author":"Frost","year":"1986"},{"key":"10.1016\/0167-8191(96)00002-6_BIB25","author":"Anton","year":"1984"},{"issue":"8","key":"10.1016\/0167-8191(96)00002-6_BIB26","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1145\/135226.135233","article-title":"A practical algorithm for exact array dependence analysis","volume":"35","author":"Pugh","year":"1992","journal-title":"Commun ACM"},{"key":"10.1016\/0167-8191(96)00002-6_BIB27","series-title":"Proc. 21st Annual ACM Sigplan-Sigact Symp. on Principals of Programming Languages","first-page":"311","article-title":"Lazy array data-flow dependence analysis","author":"Maslov","year":"1994"},{"key":"10.1016\/0167-8191(96)00002-6_BIB28","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1016\/0743-7315(91)90019-6","article-title":"On the Accuracy of the Banerjee Test","volume":"12","author":"Psarris","year":"1991","journal-title":"J. Parallel Distributed Computing"},{"key":"10.1016\/0167-8191(96)00002-6_BIB29","series-title":"Proc. ACM SIGPLAN'91 Conf. on Programming Language Design and Implementation","first-page":"15","article-title":"Practical dependence testing","author":"Goff","year":"1991"},{"key":"10.1016\/0167-8191(96)00002-6_BIB30","doi-asserted-by":"crossref","first-page":"342","DOI":"10.1109\/71.86109","article-title":"The I-Test: An improved dependence test for automatic parallelisation and vectorisation","volume":"2","author":"Kong","year":"1991","journal-title":"IEEE Trans. Parallel And Distributed Systems"},{"key":"10.1016\/0167-8191(96)00002-6_BIB31","series-title":"ACM SIGPLAN'91 Conf. on Programming Language Design and Implementation","first-page":"1","article-title":"Efficient and exact data dependence analysis","author":"Maydan","year":"1991"},{"issue":"5","key":"10.1016\/0167-8191(96)00002-6_BIB32","doi-asserted-by":"crossref","first-page":"591","DOI":"10.1109\/71.159042","article-title":"The power test for data dependence","volume":"3","author":"Wolfe","year":"1992","journal-title":"IEEE Trans. Parallel And Distributed Systems"},{"key":"10.1016\/0167-8191(96)00002-6_BIB33","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/BF00128178","article-title":"Program parallelisation with interprocedural analysis","volume":"2","author":"Li","year":"1988","journal-title":"J. Supercomputing"},{"issue":"3","key":"10.1016\/0167-8191(96)00002-6_BIB34","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1109\/71.86108","article-title":"Interactive parallel programming using the Parascope editor","volume":"2","author":"Kennedy","year":"1991","journal-title":"IEEE Trans. Parallel and Distributed Systems"},{"key":"10.1016\/0167-8191(96)00002-6_BIB35","series-title":"ACM SIGPLAN'86 Symp. on Compiler Construction","first-page":"162","article-title":"Interprocedural dependence analysis and parallelisation","author":"Burke","year":"1986"},{"key":"10.1016\/0167-8191(96)00002-6_BIB36","series-title":"ACM SIGPLAN'92 Conf. on Programming Design and Implementation","first-page":"140","article-title":"Eliminating false dependencies using the Omega test","author":"Pugh","year":"1992"},{"key":"10.1016\/0167-8191(96)00002-6_BIB37","series-title":"Proc. Languages and Compilers for Parallel Computing 5th International Workshop","article-title":"Symbolic program analysis and optimisation for parallelising compilers","author":"Highighat","year":"1992"},{"key":"10.1016\/0167-8191(96)00002-6_BIB38","article-title":"Triangular Banerjee's inequalities with directions","author":"Wolfe","year":"1992"}],"container-title":["Parallel Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0167819196000026?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0167819196000026?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,18]],"date-time":"2019-04-18T07:20:09Z","timestamp":1555572009000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0167819196000026"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,2]]},"references-count":38,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1996,2]]}},"alternative-id":["0167819196000026"],"URL":"https:\/\/doi.org\/10.1016\/0167-8191(96)00002-6","relation":{},"ISSN":["0167-8191"],"issn-type":[{"value":"0167-8191","type":"print"}],"subject":[],"published":{"date-parts":[[1996,2]]}}}