{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T08:40:03Z","timestamp":1748335203413,"version":"3.41.0"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2000,6,1]],"date-time":"2000-06-01T00:00:00Z","timestamp":959817600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,6,1]],"date-time":"2000-06-01T00:00:00Z","timestamp":959817600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Parallel Programming"],"published-print":{"date-parts":[[2000,6]]},"DOI":"10.1023\/a:1007500431910","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T10:04:10Z","timestamp":1040551450000},"page":"213-243","source":"Crossref","is-referenced-by-count":3,"title":["Maximal Static Expansion"],"prefix":"10.1007","volume":"28","author":[{"given":"Denis","family":"Barthou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Albert","family":"Cohen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Fran\u00e7ois","family":"Collard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"223882_CR1","doi-asserted-by":"crossref","unstructured":"P. Tu and D. Padua, Automatic array privatization, in Proc. Sixth Workshop on Lang.Compilers for Parallel Computing, Lecture Notes in Computer Science, Portland, Oregon, No. 768, pp. 500\u201321 (August 1993).","DOI":"10.1007\/3-540-57659-2_29"},{"key":"223882_CR2","doi-asserted-by":"crossref","unstructured":"D. E. Maydan, S. P. Amarasinghe, and M. S. Lam, Array dataflow analysis and its use in array privatization, in Proc. ACM Conf. Principles Progr. Lang., pp. 2\u201315 (January 1993).","DOI":"10.1145\/158511.158515"},{"key":"223882_CR3","unstructured":"B. Creusillet, Array region analyses and applications, Ph.D. thesis, Ecole des Mines de Paris (December 1996)."},{"key":"223882_CR4","unstructured":"K. L. Pieper, Parallelizing compilers: Implementation and effectiveness, Ph.D. thesis, Stanford University, Computer Systems Laboratory (June 1993)."},{"key":"223882_CR5","doi-asserted-by":"crossref","unstructured":"K. Knobe and V. Sarkar, Array SSA form and its use in parallelization, in ACM Symp. Principles Progr. Lang. (PoPL), San Diego, California, pp. 107\u2013120 (January 1998).","DOI":"10.1145\/268946.268956"},{"issue":"1","key":"223882_CR6","first-page":"23","volume":"20","author":"P. Feautrier","year":"1991","unstructured":"P. Feautrier, Dataflow analysis of scalar and array references, IJPP\n20(1):23\u201353 (February 1991).","journal-title":"IJPP"},{"key":"223882_CR7","doi-asserted-by":"crossref","unstructured":"J.-F. Collard, The advantages of reaching definition analyses in Array SSA, in Proc. Workshop on Languages and Compilers for Parallel Computing, Chapel Hill, North Carolina (August 1998). Springer-Verlag. To appear in June 99.","DOI":"10.1007\/3-540-48319-5_22"},{"issue":"4","key":"223882_CR8","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1145\/115372.115320","volume":"13","author":"R. Cytron","year":"1991","unstructured":"R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck, Efficiently computing static single assignment form and the control dependence graph, ACM Trans. Progr. Lang. Syst.\n13(4):451\u2013490 (October 1991).","journal-title":"ACM Trans. Progr. Lang. Syst."},{"issue":"1\u20132","key":"223882_CR9","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/S0167-8191(96)00108-1","volume":"23","author":"P.-Y. Calland","year":"1997","unstructured":"P.-Y. Calland, A. Darte, Y. Robert, and Fr\u00e9d\u00e9ric Vivien, Plugging anti-and output-dependence removal techniques into loop parallelization algorithms, Parallel Computing\n23(1\u20132):251\u2013266 (1997).","journal-title":"Parallel Computing"},{"key":"223882_CR10","doi-asserted-by":"crossref","unstructured":"D. Barthou, A. Cohen, and J.-F. Collard, Maximal static expansion, in ACM Symp. Principles Progr. Lang. (PoPL), San Diego, California, pp. 98\u2013106 (January 1998).","DOI":"10.1145\/268946.268955"},{"key":"223882_CR11","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1006\/jpdc.1996.1261","volume":"40","author":"D. Barthou","year":"1997","unstructured":"D. Barthou, J.-F. Collard, and P. Feautrier, Fuzzy array dataflow analysis, J. Parallel Distribut. Comput.\n40:210\u2013226 (1997).","journal-title":"J. Parallel Distribut. Comput."},{"key":"223882_CR12","unstructured":"D. Barthou, Array dataflow analysis in presence of nonaffine constraints, Ph.D. thesis, Universit\u00e9 de Versailles (February 1998). http:\/\/www.prism.uvsq.fr\/bad\/these.html."},{"key":"223882_CR13","volume-title":"Theory of Linear and Integer Programming","author":"A. Schrijver","year":"1986","unstructured":"A. Schrijver, Theory of Linear and Integer Programming, John Wiley, New York (1986)."},{"issue":"6","key":"223882_CR14","first-page":"389","volume":"21","author":"P. Feautrier","year":"1992","unstructured":"P. Feautrier, Some efficient solution to the affine scheduling problem, Part II, Multidimensional time, IJPP\n21(6):389\u2013420 (December 1992).","journal-title":"IJPP"},{"issue":"6","key":"223882_CR15","first-page":"447","volume":"25","author":"A. Darte","year":"1997","unstructured":"A. Darte and F. Vivien, Optimal fine and medium grain parallelism detection in polyhedral reduced dependence graphs, IJPP\n25(6):447\u2013496 (December 1997).","journal-title":"IJPP"},{"key":"223882_CR16","doi-asserted-by":"crossref","unstructured":"F. Irigoin and R. Tiolet, Supernode partitioning, in Proc. 15th POPL, San Diego, California, pp. 319\u2013328 (January 1988).","DOI":"10.1145\/73560.73588"},{"key":"223882_CR17","unstructured":"L. Carter, J. Ferrante, and S. Flynn Hummel, Efficient multiprocessor parallelism via hierarchical tiling, SIAM Conf. Parallel Proc. Sci. Comput. (1995)."},{"key":"223882_CR18","unstructured":"D. G. Wonnacott, Constraint-based array dependence analysis, Ph.D. thesis, University of Maryland (1995)."},{"key":"223882_CR19","doi-asserted-by":"crossref","first-page":"635","DOI":"10.1145\/291889.291900","volume":"3","author":"W. Pugh","year":"1998","unstructured":"W. Pugh and D. Wonnacott, Constraint-based array dependence analysis, ACM Trans. Progr. Lang. Syst. 3:635\u2013678 (May 1998).","journal-title":"ACM Trans. Progr. Lang. Syst."},{"key":"223882_CR20","unstructured":"S. S. Muchnick, Advanced Compiler Design and Implementation, Morgan Kaufmann (1997)."},{"key":"223882_CR21","doi-asserted-by":"crossref","unstructured":"C. Ancourt and F. Irigoin, Scanning polyhedra with DO loops, in Proc. of ACM SIGPLAN Symp. Principles Parallel Progr., pp. 39\u201350 (June 1991).","DOI":"10.1145\/109626.109631"},{"key":"223882_CR22","doi-asserted-by":"crossref","unstructured":"J.-F. Collard, P. Feautrier, and T. Risset, Construction of DO loops from systems of affine constraints, Parallel Proc. Lett.\n5(3) (1995).","DOI":"10.1142\/S0129626495000394"},{"issue":"8","key":"223882_CR23","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1145\/135226.135233","volume":"35","author":"W. Pugh","year":"1992","unstructured":"W. Pugh, A practical algorithm for exact array dependence analysis, Commun. ACM\n35(8):27\u201347 (August 1992).","journal-title":"Commun. ACM"},{"issue":"6","key":"223882_CR24","first-page":"579","volume":"24","author":"W. Kelly","year":"1996","unstructured":"W. Kelly, W. Pugh, E. Rosser, and T. Shpeisman, Transitive closure of infinite graphs and its applications, IJPP\n24(6):579\u2013598 (1996).","journal-title":"IJPP"},{"issue":"12","key":"223882_CR25","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1109\/2.546612","volume":"29","author":"W. Blume","year":"1996","unstructured":"W. Blume, R. Eigenmann, K. Faigin, J. Grout, J. Hoeflinger, D. Padua, P. Petersen, W. Pottenger, L. Rauchwerger, P. Tu, and S. Weatherford, Parallel programming with Polaris, IEEE Computer\n29(12):78\u201382 (December 1996).","journal-title":"IEEE Computer"},{"issue":"12","key":"223882_CR26","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1109\/2.546613","volume":"29","author":"M. Hall","year":"1996","unstructured":"M. Hall, et al., Maximizing multiprocessor performance with the SUIF compiler, IEEE Computer\n29(12):84\u201389 (December 1996).","journal-title":"IEEE Computer"},{"key":"223882_CR27","unstructured":"D. Wonnacott and W. Pugh, Nonlinear array dependence analysis, in Proc. Third Workshop on Languages, Compilers and Runtime Systems for Scalable Computers, Troy, New York (1995)."},{"key":"223882_CR28","doi-asserted-by":"crossref","unstructured":"J.-F. Collard, D. Barthou, and P. Feautrier, Fuzzy array dataflow analysis, in ACM SIGPLAN Symp. Principles and Practive of Parallel Progr. (PPoPP), Santa Barbara, California, pp. 92\u2013102 (July 1995).","DOI":"10.1145\/209936.209947"}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1007500431910.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1007500431910\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1007500431910.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T08:15:39Z","timestamp":1748333739000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1007500431910"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,6]]},"references-count":28,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2000,6]]}},"alternative-id":["223882"],"URL":"https:\/\/doi.org\/10.1023\/a:1007500431910","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"type":"print","value":"0885-7458"},{"type":"electronic","value":"1573-7640"}],"subject":[],"published":{"date-parts":[[2000,6]]}}}