{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T15:10:33Z","timestamp":1742397033823,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540630913"},{"type":"electronic","value":"9783540691280"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0017247","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T06:31:40Z","timestamp":1132641100000},"page":"86-100","source":"Crossref","is-referenced-by-count":11,"title":["Exact versus approximate 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,10]]},"reference":[{"key":"6_CR1","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, pages 39\u201350, April 1991.","DOI":"10.1145\/109625.109631"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"V. Balasundaram and K. Kennedy. A technique for summarizing data access and its use in parallelism enhancing transformations. In International Conference on Programming Language Design and Implementation, pages 41\u201353, June 1989.","DOI":"10.1145\/73141.74822"},{"key":"6_CR3","volume-title":"volume XXV of AMS Colloqium Publications","author":"G. Birkhoff","year":"1967","unstructured":"Garrett Birkhoff. Lattice Theory, volume XXV of AMS Colloqium Publications. American Mathematical Society, Providence, Rhode Island, third edition, 1967.","edition":"third edition"},{"issue":"6","key":"6_CR4","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1109\/71.180621","volume":"3","author":"W. Blume","year":"1992","unstructured":"W. Blume and R. Eigenmann. Performance analysis of parallelizing compilers on the Perfect Benchmarks programs. IEEE Transactions on Parallel and Distributed Systems, 3(6):643\u2013656, November 1992.","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"6_CR5","unstructured":"Fran\u00e7ois Bourdoncle. S\u00e9mantique des Langages Imp\u00e9ratifs d'Ordre Sup\u00e9rieur et Interpr\u00e9tation Abstraite. PhD thesis, \u00c9cole Polytechnique, November 1992."},{"key":"6_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":"6_CR7","doi-asserted-by":"crossref","unstructured":"Fabien Coelho. Compilation of I\/O communications for HPF. In Frontiers'95, pages 102\u2013109, February 1995. Available via http:\/\/www.cri.ensmp.fr\/\u223ccoelho.","DOI":"10.1109\/FMPC.1995.380458"},{"key":"6_CR8","unstructured":"Fabien Coelho and Corinne Ancourt. Optimal compilation of HPF remappings. Technical Report A-277-CRI, CRI, \u00c9cole des Mines de Paris, October 1995. To appear in JPDC in 1996."},{"key":"6_CR9","unstructured":"Patrick Cousot. M\u00e9thodes It\u00e9ratives de Construction et d'Approximation de Points Fixes d'Op\u00e9rateurs Monotones sur un Treillis, Analyse S\u00e9mantique des Programmes. PhD thesis, Institut National Polytechnique de Grenoble, March 1978."},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Patrick Cousot and Radhia Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Symposium on Principles of Programming Languages, pages 238\u2013252, 1977.","DOI":"10.1145\/512950.512973"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Patrick Cousot and Radhia Cousot. Higher-order abstract interpretation (and application to comportment analysis generalizing strictness, termination, projection and PER analysis of functional languages). In International Conference on Computer Languages, IEEE Computer Socitey Press, pages 95\u2013112, May 1994.","DOI":"10.1109\/ICCL.1994.288389"},{"key":"6_CR12","unstructured":"B\u00e9atrice Creusillet. Array regions for interprocedural parallelization and array privatization. Report A-279, CRI, \u00c9cole des Mines de Paris, November 1995. Available at http:\/\/www.cri.ensmp.fr\/\u223ccreusil."},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"B\u00e9atrice Creusillet and Fran\u00e7ois Irigoin. Interprocedural array region analyses. In Languages and Compilers for Parallel Computing, number 1033 in Lecture Notes in Computer Science, pages 46\u201360. Springer-Verlag, August 1995.","DOI":"10.1007\/BFb0014191"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"B\u00e9atrice Creusillet and Fran\u00e7ois Irigoin. Interprocedural array region analyses. To appear in International Journal of Parallel Programming (special issue on LCPG), 24(6), 1996. Extended version of [13].","DOI":"10.1007\/BF03356758"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Paul Feautrier. Array expansion. In International Conference on Supercomputing, pages 429\u2013441, July 1988.","DOI":"10.1145\/55364.55406"},{"issue":"1","key":"6_CR16","doi-asserted-by":"publisher","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":"6_CR17","doi-asserted-by":"crossref","unstructured":"Kyle Gallivan, William Jalby, and Dennis Gannon. On the problem of optimizing data transfers for complex memory systems. In International Conference on Supercomputing, pages 238\u2013253, July 1988.","DOI":"10.1145\/55364.55388"},{"issue":"1","key":"6_CR18","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1145\/321921.321939","volume":"23","author":"S. Graham","year":"1976","unstructured":"S. Graham and M. Wegman. Fast and usually linear algorithm for global flow analysis. Journal of the ACM, 23(1):172\u2013202, January 1976.","journal-title":"Journal of the ACM"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Jungie Gu, Zhiyuan Li, and Gyungho Lee. Symbolic array dataflow analysis for array privatization and program parallelization. In Supercomputing, December 1995.","DOI":"10.1145\/224170.224318"},{"key":"6_CR20","unstructured":"C. Gunter and D. Scott. Denotational semantics. In Jan van Leeuwen, editor, Theoretical Computer Science, volume B, chapter 12. Elsevier Science Publisher, 1990."},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Mary Hall, Saman Amarasinghe, Brian Murphy, Shih-Wei Liao, and Monica Lam. Detecting coarse-grain parallelism using an interprocedural parallelizing compiler. In Supercomputing, December 1995.","DOI":"10.1145\/224170.224337"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Mary Hall, Brian Murphy, Saman Amarasinghe, Shih-Wei Liao, and Monica Lam. Interprocedural analysis for parallelization. In Languages and Compilers for Parallel Computing, Lecture Notes in Computer Science, pages 61\u201380. Springer-Verlag, August 1995.","DOI":"10.1007\/BFb0014192"},{"issue":"3","key":"6_CR23","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1155\/1994\/487064","volume":"3","author":"M. Hind","year":"1994","unstructured":"Michael Hind, Michael Burke, Paul Carini, and Sam Midkiff. An empirical study of precise interprocedural array analysis. Scientific Programming, 3(3):255\u2013271, May 1994.","journal-title":"Scientific Programming"},{"key":"6_CR24","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, pages 144\u2013151, June 1991.","DOI":"10.1145\/109025.109086"},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"Zhiyuan Li. Array privatization for parallel execution of loops. In International Conference on Supercomputing, pages 313\u2013322, July 1992.","DOI":"10.1145\/143369.143426"},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"Dror E. Maydan, Saman P. Amarasinghe, and Monica S. Lam. Array data-flow analysis and its use in array privatization. In Symposium on Principles of Programming Languages, January 1993.","DOI":"10.1145\/158511.158515"},{"key":"6_CR27","unstructured":"Peter Mosses. Denotational semantics. In Jan van Leeuwen, editor, Theoretical Computer Science, volume B, chapter 11. Elsevier Science Publisher, 1990."},{"issue":"8","key":"6_CR28","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":"6_CR29","doi-asserted-by":"crossref","unstructured":"Peiyi Tang. Exact side effects for interprocedural dependence analysis. In International Conference on Supercomputing, pages 137\u2013146, July 1993.","DOI":"10.1145\/165939.165964"},{"key":"6_CR30","unstructured":"R\u00e9mi Triolet. Contribution \u00e0 la parall\u00e9lisation automatique de programmes Fortran comportant des appels de proc\u00e9dures. PhD thesis, Paris VI University, 1984."},{"key":"6_CR31","doi-asserted-by":"crossref","unstructured":"R\u00e9mi Triolet, Paul Feautrier, and Fran\u00e7ois Irigoin. Direct parallelization of call statements. In ACM SIGPLAN Symposium on Compiler Construction, pages 176\u2013185, 1986.","DOI":"10.1145\/12276.13329"},{"key":"6_CR32","volume-title":"PhD thesis","author":"P. Tu","year":"1995","unstructured":"Peng Tu. Automatic Array Privatization and Demand-Driven Symbolic Analysis. PhD thesis, University of Illinois at Urbana-Champaign, 1995."},{"key":"6_CR33","doi-asserted-by":"crossref","unstructured":"Peng Tu and David Padua. Array privatization for shared and distributed memory machines (extended abstract). In Workshop on Languages and Compilers for Distributed Memory Machines, pages 64\u201367, 1992.","DOI":"10.1145\/156668.156692"},{"key":"6_CR34","unstructured":"Peng Tu and David Padua. Automatic array privatization. In Languages and Compilers for Parallel Computing, August 1993."},{"key":"6_CR35","volume-title":"PhD thesis","author":"D. Wonnacott","year":"1995","unstructured":"David Wonnacott. Constraint-Based Array Dependence Analysis. PhD thesis, University of Maryland, College Park, August 1995."}],"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\/BFb0017247","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T19:57:52Z","timestamp":1736107072000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0017247"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630913","9783540691280"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/bfb0017247","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}