{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T05:04:26Z","timestamp":1773983066634,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540607656","type":"print"},{"value":"9783540494461","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0014191","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T08:13:46Z","timestamp":1132733626000},"page":"46-60","source":"Crossref","is-referenced-by-count":17,"title":["Interprocedural array region analyses"],"prefix":"10.1007","author":[{"given":"B\u00e9atrice","family":"Creusillet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fran\u00e7ois","family":"Irigoin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"4_CR1","unstructured":"American National Standard Programming Language FORTRAN ANSI X3.9-1978, ISO 1539-1980, 1983."},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Corinne Ancourt and Fran\u00e7ois Irigoin. Scanning polyhedra with DO loops. In Symposium on Principles and Practice of Parallel Programming, April 1991.","DOI":"10.1145\/109625.109631"},{"key":"4_CR3","volume-title":"Master's thesis","author":"B. Apvrille-Creusillet","year":"1994","unstructured":"B\u00e9atrice Apvrille-Creusillet. R\u00e9gions exactes et privatisation de tableaux (exact array region analysis and array privatization). Master's thesis, Universit\u00e9 Paris VI, France, September 1994. Available via http:\/\/www.cri.ensmp.fr\/\u223ccreusil."},{"key":"4_CR4","unstructured":"M. Berry et al. The PERFECT Club benchmarks: Effective performance evaluation of supercomputers. Technical Report CSRD-827, CSRD, University of Illinois, May 1989."},{"issue":"7","key":"4_CR5","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1145\/13310.13328","volume":"21","author":"M. Burke","year":"1986","unstructured":"Michael Burke and Ron Cytron. Interprocedural dependence analysis and parallelization. ACM SIGPLAN Notices, 21(7):162\u2013175, July 1986.","journal-title":"ACM SIGPLAN Notices"},{"key":"4_CR6","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1016\/0743-7315(88)90011-1","volume":"5","author":"D. Callahan","year":"1988","unstructured":"D. Callahan and K. Kennedy. Analysis of interprocedural side effects in a parallel programming environment. Journal of Parallel and Distributed Computing, 5:517\u2013550, 1988.","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"4_CR7","unstructured":"Fabien Coelho. Compilation of I\/O communications for HPF. In Frontiers'95, February 1995. Available via http:\/\/www.cri.ensmp.fr\/\u223ccoelho."},{"issue":"2","key":"4_CR8","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/BF02577789","volume":"23","author":"J. Collard","year":"1995","unstructured":"Jean-Fran\u00e7ois Collard. Automatic parallelization of while-loops using speculative execution. International Journal of Parallel Programming, 23(2):191\u2013219, 1995.","journal-title":"International Journal of Parallel Programming"},{"issue":"1","key":"4_CR9","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/BF01407931","volume":"20","author":"P. Feautrier","year":"1991","unstructured":"Paul Feautrier. Dataflow analysis of array and scalar references. International Journal of Parallel Programming, 20(1):23\u201353, September 1991.","journal-title":"International Journal of Parallel Programming"},{"key":"4_CR10","unstructured":"Mary Hall, Brian Murphy, Saman Amarasinghe, Shih-Wei Liao, and Monica Lam. Overview of an interprocedural automatic parallelization system. In Fifth International Workshop on Compilers for Parallel Computers, pages 570\u2013579, June 1995."},{"key":"4_CR11","unstructured":"Fran\u00e7ois Irigoin. Interprocedural analyses for programming environments. In Workshop on Environments and Tools for Parallel Scientific Computing, September 1992."},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Fran\u00e7ois Irigoin, Pierre Jouvelot, and R\u00e9mi Triolet. Semantical interprocedural parallelization: An overview of the PIPS project. In International Conference on Supercomputing, June 1991.","DOI":"10.1145\/109025.109086"},{"issue":"10","key":"4_CR13","first-page":"871","volume":"24","author":"C. J. Li","year":"1994","unstructured":"Chung-Chi Jim Li, Elliot M. Stewart, and W. Kent Fuchs. Compiler-assisted full checkpointing. Software: Practice and Experience, 24(10):871\u2013886, October 1994.","journal-title":"Software: Practice and Experience"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Vadim Maslov. Lazy array data-flow analysis. In Symposium on Principles of Programming Language, pages 311\u2013325, January 1994.","DOI":"10.1145\/174675.177911"},{"key":"4_CR15","volume-title":"Technical Report CS-TR-3109.1","author":"V. Maslov","year":"1994","unstructured":"Vadim Maslov and William Pugh. Simplifying polynomial constraints over integers to make dependence analysis more precise. Technical Report CS-TR-3109.1, University of Maryland, College Park, February 1994."},{"issue":"8","key":"4_CR16","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1145\/135226.135233","volume":"35","author":"W. Pugh","year":"1992","unstructured":"William Pugh. A practical algorithm for exact array dependence analysis. Communications of the ACM, 35(8):102\u2013114, August 1992.","journal-title":"Communications of the ACM"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"William Pugh and David Wonnacott. Eliminating false data dependences using the omega test. In International Conference on Programming Language Design and Implementation, pages 140\u2013151, June 1992.","DOI":"10.1145\/143095.143129"},{"key":"4_CR18","unstructured":"R\u00e9mi Triolet. Interprocedural analysis for program restructuring with Parafrase. Technical report 538, CSRD, University of Illinois, December 1985."},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"R\u00e9mi Triolet, Paul Feautrier, and Fran\u00e7ois Irigoin. Direct parallelization of call statements. In Symposium on Compiler Construction, 1986.","DOI":"10.1145\/12276.13329"}],"container-title":["Lecture Notes in Computer Science","Languages and Compilers for Parallel Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014191","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:39:44Z","timestamp":1586579984000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0014191"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540607656","9783540494461"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/bfb0014191","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996]]}}}