{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T08:29:49Z","timestamp":1748334589413},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664260"},{"type":"electronic","value":"9783540483199"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48319-5_22","type":"book-chapter","created":{"date-parts":[[2007,11,9]],"date-time":"2007-11-09T04:49:58Z","timestamp":1194583798000},"page":"338-352","source":"Crossref","is-referenced-by-count":4,"title":["The Advantages of Instance-Wise Reaching Definition Analyses in Array (S)SA"],"prefix":"10.1007","author":[{"given":"Jean-Fran\u00e7ois","family":"Collard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,5,12]]},"reference":[{"key":"22_CR1","volume-title":"Compilers: Principles, Techniques and Tools","author":"A. V. Aho","year":"1986","unstructured":"A. V. Aho, R. Sethi, and J. D. Ullman. Compilers: Principles, Techniques and Tools. Addison-Wesley, Reading, Mass, 1986."},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"B. Alpern, M. N. Wegman, and F. K. Zadeck. Detecting equality of variables in programs. In ACM Symp. on Principles of Programming Languages (PoPL), pages 1\u201311, January 1988.","DOI":"10.1145\/73560.73561"},{"key":"22_CR3","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1145\/321992.321999","volume":"24","author":"B. S. Baker","year":"1977","unstructured":"B. S. Baker. An algorithm for structuring programs. J. of the ACM, 24:98\u2013120, 1977.","journal-title":"J. of the ACM"},{"key":"22_CR4","unstructured":"D. Barthou. Array Dataflow Analysis in Presence of Non-affine Constraints. PhD thesis, Univ. Versailles, February 1998."},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"D. Barthou, A. Cohen, and J.-F. Collard. Maximal static expansion. In ACM Symp. on Principles of Programming Languages (PoPL), pages 98\u2013106, San Diego, CA, January 1998.","DOI":"10.1145\/268946.268955"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"R. Bod\u013ak and S. Anik. Path-sensitive value-flow analysis. In ACM Symp. on Principles of Programming Languages (PoPL), pages 237\u2013251, San Diego, CA, January 1998.","DOI":"10.1145\/268946.268966"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"R. Bod\u013ak and R. Gupta. Partial dead code elimination using slicing transformations. In ACM SIGPLAN Conf on Prog. Lang. Design and Implem. (PLDI), pages 159\u2013170, Las Vegas, Nevada, January 1997.","DOI":"10.1145\/258915.258930"},{"issue":"6","key":"22_CR8","doi-asserted-by":"publisher","first-page":"1684","DOI":"10.1145\/197320.197331","volume":"16","author":"M. M. Brandis","year":"1994","unstructured":"M. M. Brandis and H. Mssenbck. Single-pass generation of static single-assignment form for structured languages. ACM Trans. on Prog. Languages and Systems, 16(6):1684\u20131698, November 1994.","journal-title":"ACM Trans. on Prog. Languages and Systems"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"F. Chow, S. Chan, R. Kennedy, S.-M. Liu, R. Lo, and P. Tu. A new algorithm for partial redundancy elimination based on ssa form. In ACM SIGPLAN Conf on Prog. Lang. Design and Implem. (PLDI), pages 273\u2013286, Las Vegas, Nevada, June 1997.","DOI":"10.1145\/258915.258940"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"F. Chow, S. Chan, S.-M. Liu, R. Lo, and M. Streich. Effective representation of aliases and indirect memory operations in ssa form. In Int. Conf on Compiler Construction (CC\u201996), pages 253\u2013267, 1996.","DOI":"10.1007\/3-540-61053-7_66"},{"key":"22_CR11","unstructured":"J.-F. Collard. Array SSA: Why? how? how much? Technical report, PRISM, U. of Versailles, 1998."},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"J.-F. Collard, D. Barthou, and P. Feautrier. Fuzzy array dataflow analysis. In ACM SIGPLAN Symp. on Principles and Practive of Parallel Prog. (PPoPP), pages 92\u2013102, Santa Barbara, CA, July 1995.","DOI":"10.1145\/209936.209947"},{"key":"22_CR13","unstructured":"J.-F. Collard and J. Knoop. A comparative study of reaching definitions analyses. Technical Report 1998\/22, PRISM, U. of Versailles, 1998."},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"E. Duesterwald, R. Gupta, and M.-L. Soffa. A practical data flow framework for array reference analysis and its use in optimization. In ACM SIGPLAN\u201993 Conf. on Prog. Lang. Design and Implementation, pages 68\u201377, June 1993.","DOI":"10.1145\/155090.155097"},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"P. Feautrier. Array expansion. In ACM Int. Conf. on Supercomputing, St Malo, pages 429\u2013441, 1988.","DOI":"10.1145\/55364.55406"},{"issue":"1","key":"22_CR16","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/BF01407931","volume":"20","author":"P. Feautrier","year":"1991","unstructured":"P. Feautrier. Dataflow analysis of scalar and array references. Int. Journal of Parallel Programming, 20(1):23\u201353, February 1991.","journal-title":"Int. Journal of Parallel Programming"},{"key":"22_CR17","series-title":"Lect Notes Comput Sci","first-page":"315","volume-title":"EUROPAR\u2019 95","author":"M. Griebl","year":"1995","unstructured":"M. Griebl and J.-F. Collard. Generation of synchronous code for automatic parallelization of while loops. In S. Haridi, K. Ali, and P. Magnusson, editors, EUROPAR\u2019 95, Lecture Notes in Computer Science 966, pages 315\u2013326. Springer-Verlag, 1995."},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"K. Knobe and V. Sarkar. Array SSA form and its use in parallelization. In ACM Symp. on Principles of Programming Languages (PoPL), pages 107\u2013120, San Diego (CA), January 1998.","DOI":"10.1145\/268946.268956"},{"key":"22_CR19","first-page":"154","volume":"1381","author":"J. Knoop","year":"1998","unstructured":"J. Knoop, O. R\u00fcthing, and B. Steffen. Code motion and code placement: Just synonyms? In Proceedings of the 7th European Symposium on Programming (ESOP\u201998), volume 1381, pages 154\u2013169, Lisbon, Portugal, May 1998.","journal-title":"Proceedings of the 7th European Symposium on Programming (ESOP\u201998)"},{"key":"22_CR20","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/BFb0026427","volume-title":"Compiler Construction CC\u201998","author":"C. Lapkowski","year":"1998","unstructured":"C. Lapkowski and L. J. Hendren. Extended SSA numbering: Introducing SSA properties to languages with multi-level pointers. In K. Koskimies, editor, Compiler Construction CC\u201998, volume 1383 of LNCS, pages 128\u2013143, Lisbon, Portugal, March 1998. Springer-Verlag."},{"key":"22_CR21","doi-asserted-by":"crossref","unstructured":"B. K. Rosen, M. N. Wegman, and F. K. Zadeck. Global value numbers and redundant computations. In ACM Symp. on Principles of Programming Languages (PoPL), pages 12\u201327, 1988.","DOI":"10.1145\/73560.73562"},{"key":"22_CR22","doi-asserted-by":"crossref","unstructured":"A. V. S. Sastry and R. D. C. Ju. A new algorithm for scalar register promotion based on SSA form. In ACM SIGPLAN Conf on Prog. Lang. Design and Implem. (PLDI), pages 15\u201325, Montreal, Canada, June 1998.","DOI":"10.1145\/277650.277656"},{"key":"22_CR23","series-title":"Lect Notes Comput Sci","first-page":"500","volume-title":"Proc. Sixth Workshop on Languages and Compilers for Parallel Computing","author":"P. Tu","year":"1993","unstructured":"P. Tu and D. Padua. Automatic array privatization. In Proc. Sixth Workshop on Languages and Compilers for Parallel Computing, number 768 in Lecture Notes in Computer Science, pages 500\u2013521, August 1993. Portland, Oregon."},{"key":"22_CR24","doi-asserted-by":"crossref","unstructured":"P. Tu and D. Padua. Gated SSA-Based demand-driven symbolic analysis for parallelizing compilers. In ACM Int. Conf. on Supercomputing, pages 414\u2013423, Barcelona, Spain, July 1995.","DOI":"10.1145\/224538.224648"},{"key":"22_CR25","unstructured":"D. G. Wonnacott. Constraint-Based Array Dependence Analysis. PhD thesis, University of Maryland, 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\/3-540-48319-5_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T02:31:28Z","timestamp":1551061888000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48319-5_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664260","9783540483199"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-48319-5_22","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}