{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:08:27Z","timestamp":1763467707957},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540303176"},{"type":"electronic","value":"9783540322726"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11587514_15","type":"book-chapter","created":{"date-parts":[[2005,10,26]],"date-time":"2005-10-26T13:51:49Z","timestamp":1130334709000},"page":"218-232","source":"Crossref","is-referenced-by-count":15,"title":["Induction Variable Analysis with Delayed Abstractions"],"prefix":"10.1007","author":[{"given":"Sebastian","family":"Pop","sequence":"first","affiliation":[]},{"given":"Albert","family":"Cohen","sequence":"additional","affiliation":[]},{"given":"Georges-Andr\u00e9","family":"Silber","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","volume-title":"Compilers: Principles, Techniques and Tools","author":"A. Aho","year":"1986","unstructured":"Aho, A., Sethi, R., Ullman, J.: Compilers: Principles, Techniques and Tools. Addison-Wesley, Reading (1986)"},{"key":"15_CR2","volume-title":"Optimizing Compilers for Modern Architectures","author":"R. Allen","year":"2002","unstructured":"Allen, R., Kennedy, K.: Optimizing Compilers for Modern Architectures. Morgan and Kaufman, San Francisco (2002)"},{"key":"15_CR3","volume-title":"Proceedings of the international symposium on Symbolic and algebraic computation","author":"O. Bachmann","year":"1994","unstructured":"Bachmann, O., Wang, P.S., Zima, E.V.: Chains of recurrences a method to expedite the evaluation of closed-form functions. In: Proceedings of the international symposium on Symbolic and algebraic computation. ACM Press, New York (1994)"},{"key":"15_CR4","volume-title":"Loop Transformations for Restructuring Compilers: The Foundations","author":"U. Banerjee","year":"1992","unstructured":"Banerjee, U.: Loop Transformations for Restructuring Compilers: The Foundations. Kluwer Academic Publishers, Boston (1992)"},{"key":"15_CR5","unstructured":"Berlin, D., Edelsohn, D., Pop, S.: High-level loop optimizations for GCC. In: Proceedings of the 2004 GCC Developers Summit (2004), \n                    \n                      http:\/\/www.gccsummit.org\/2004"},{"issue":"4","key":"15_CR6","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1145\/115372.115320","volume":"13","author":"R. Cytron","year":"1991","unstructured":"Cytron, R., Ferrante, J., Rosen, B.K., Wegman, M.N., Zadeck, F.K.: Efficiently computing static single assignment form and the control dependence graph. ACM Trans. on Programming Languages and Systems\u00a013(4), 451\u2013490 (1991)","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"15_CR7","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1145\/996841.996853","volume-title":"PLDI 2004: Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation","author":"A.E. Eichenberger","year":"2004","unstructured":"Eichenberger, A.E., Wu, P., O\u2019Brien, K.: Vectorization for simd architectures with alignment constraints. In: PLDI 2004: Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation, pp. 82\u201393. ACM Press, New York (2004)"},{"issue":"1","key":"15_CR8","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1145\/200994.201003","volume":"17","author":"M.P. Gerlek","year":"1995","unstructured":"Gerlek, M.P., Stoltz, E., Wolfe, M.J.: Beyond induction variables: detecting and classifying sequences using a demand-driven ssa form. ACM Trans. on Programming Languages and Systems\u00a017(1), 85\u2013122 (1995)","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"15_CR9","unstructured":"Gnu go, \n                    \n                      http:\/\/www.gnu.org\/software\/gnugo\/gnugo.html"},{"key":"15_CR10","first-page":"169","volume-title":"TAPSOFT 1991: Proceedings of the international joint conference on theory and practice of software development on Colloquium on trees in algebra and programming (CAAP 1991)","author":"P. Granger","year":"1991","unstructured":"Granger, P.: Static analysis of linear congruence equalities among variables of a program. In: TAPSOFT 1991: Proceedings of the international joint conference on theory and practice of software development on Colloquium on trees in algebra and programming (CAAP 1991), New York, NY, USA, vol.\u00a01, pp. 169\u2013192. Springer, New York (1991)"},{"issue":"4","key":"15_CR11","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1145\/233561.233568","volume":"18","author":"Mohammad R. Haghighat","year":"1996","unstructured":"Haghighat, M., Polychronopoulos, C.: Symbolic analysis for parallelizing compilers. ACM Trans. on Programming Languages and Systems\u00a018(4) (July 1996)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"15_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"Languages and Compilers for Parallel Computing","author":"L. Hendren","year":"1993","unstructured":"Hendren, L., Donawa, C., Emami, M., Gao, G.R.: Designing the McCAT compiler based on a family of structured intermediate representations. In: Banerjee, U., Gelernter, D., Nicolau, A., Padua, D.A. (eds.) LCPC 1992. LNCS, vol.\u00a0757, Springer, Heidelberg (1993)"},{"key":"15_CR13","unstructured":"Java grande forum, \n                    \n                      http:\/\/www.javagrande.org"},{"key":"15_CR14","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1145\/281508.281613","volume-title":"Proceedings of the 1998 international symposium on symbolic and algebraic computation","author":"V. Kislenkov","year":"1998","unstructured":"Kislenkov, V., Mitrofanov, V., Zima, E.: Multidimensional chains of recurrences. In: Proceedings of the 1998 international symposium on symbolic and algebraic computation, pp. 199\u2013206. ACM Press, New York (1998)"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Lattner, C., Adve, V.: LLVM: A compilation framework for lifelong program analysis & transformation. In: ACM Symp. on Code Generation and Optimization (CGO 2004), Palo Alto, California (March 2004)","DOI":"10.1109\/CGO.2004.1281665"},{"key":"15_CR16","first-page":"228","volume-title":"Proceedings of the 1996 Conference on Parallel Architectures and Compilation Techniques (PACT 1996)","author":"S.-M. Liu","year":"1996","unstructured":"Liu, S.-M., Lo, R., Chow, F.: Loop induction variable canonicalization in parallelizing compilers. In: Proceedings of the 1996 Conference on Parallel Architectures and Compilation Techniques (PACT 1996), p. 228. IEEE Computer Society, Los Alamitos (1996)"},{"key":"15_CR17","unstructured":"Merill, J.: GENERIC and GIMPLE: a new tree representation for entire functions. In: Proceedings of the 2003 GCC Developers Summit (2003), \n                    \n                      http:\/\/www.gccsummit.org\/2003"},{"key":"15_CR18","first-page":"310","volume-title":"AST 2001 in WCRE 2001, IEEE","author":"A. Min\u00e9","year":"2001","unstructured":"Min\u00e9, A.: The octagon abstract domain. In: AST 2001 in WCRE 2001, IEEE, pp. 310\u2013319. IEEE CS Press, Los Alamitos (2001)"},{"key":"15_CR19","volume-title":"Advanced Compiler Design & Implementation","author":"S.S. Muchnick","year":"1997","unstructured":"Muchnick, S.S.: Advanced Compiler Design & Implementation. Morgan Kaufmann, San Francisco (1997)"},{"key":"15_CR20","unstructured":"Naishlos, D.: Autovectorization in GCC. In: Proceedings of the 2004 GCC Developers Summit, pp. 105\u2013118 (2004), \n                    \n                      http:\/\/www.gccsummit.org\/2004"},{"key":"15_CR21","unstructured":"Novillo, D.: Tree SSA - a new optimization infrastructure for GCC. In: Proceedings of the 2003 GCC Developers Summit (2003), \n                    \n                      http:\/\/www.gccsummit.org\/2003"},{"key":"15_CR22","unstructured":"Novillo, D.: A propagation engine for gcc. In: Proceedings of the 2005 GCC Developers Summit (2005), \n                    \n                      http:\/\/www.gccsummit.org\/2005"},{"key":"15_CR23","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1145\/202529.202537","volume-title":"Papers from the 1995 ACM SIGPLAN workshop on Intermediate representations","author":"K. O\u2019Brien","year":"1995","unstructured":"O\u2019Brien, K., O\u2019Brien, K.M., Hopkins, M., Shepherd, A., Unrau, R., Hopkins, M., Shepherd, A., Unrau, R.: Xil and yil: the intermediate languages of tobey. In: Papers from the 1995 ACM SIGPLAN workshop on Intermediate representations, pp. 71\u201382. ACM Press, New York (1995)"},{"key":"15_CR24","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1145\/800113.803646","volume-title":"STOC 1976: Proceedings of the eighth annual ACM symposium on Theory of computing","author":"M.S. Paterson","year":"1976","unstructured":"Paterson, M.S., Wegman, M.N.: Linear unification. In: STOC 1976: Proceedings of the eighth annual ACM symposium on Theory of computing, pp. 181\u2013186. ACM Press, New York (1976)"},{"key":"15_CR25","unstructured":"Pop, S., Clauss, P., Cohen, A., Loechner, V., Silber, G.-A.: Fast recognition of scalar evolutions on three-address ssa code. Technical Report A\/354\/CRI, Centre de Recherche en Informatique (CRI), \u00c9cole des mines de Paris (2004), \n                    \n                      http:\/\/www.cri.ensmp.fr\/classement\/doc\/A-354.ps"},{"key":"15_CR26","unstructured":"Pop, S., Cohen, A., Silber, G.-A.: Induction variable analysis with delayed abstractions. Technical Report A\/367\/CRI, Centre de Recherche en Informatique (CRI), \u00c9cole des mines de Paris (2005), \n                    \n                      http:\/\/www.cri.ensmp.fr\/classement\/doc\/A-367.ps"},{"key":"15_CR27","unstructured":"Pottenger, B., Eigenmann, R.: Parallelization in the presence of generalized induction and reduction variables. In: ACM Int. Conf. on Supercomputing, ICS 1995 (1995)"},{"issue":"8","key":"15_CR28","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1145\/135226.135233","volume":"35","author":"W. Pugh","year":"1992","unstructured":"Pugh, W.: A practical algorithm for exact array dependence analysis. Communications of the ACM\u00a035(8), 27\u201347 (1992)","journal-title":"Communications of the ACM"},{"key":"15_CR29","volume-title":"Proceedings of the 2004 Conference on Parallel Architectures and Compilation Techniques","author":"S. Rus","year":"2004","unstructured":"Rus, S., Zhang, D., Rauchwerger, L.: The value evolution graph and its use in memory reference analysis. In: Proceedings of the 2004 Conference on Parallel Architectures and Compilation Techniques. IEEE Computer Society, Los Alamitos (2004)"},{"key":"15_CR30","unstructured":"Standard performance evaluation corporation, \n                    \n                      http:\/\/www.spec.org"},{"key":"15_CR31","doi-asserted-by":"crossref","unstructured":"van Engelen, R., Birch, J., Shou, Y., Walsh, B., Gallivan, K.: A unified framework for nonlinear dependence testing and symbolic analysis. In: Proceedings of the ACM International Conference on Supercomputing (ICS), pp. 106\u2013115 (2004)","DOI":"10.1145\/1006209.1006226"},{"key":"15_CR32","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/3-540-45306-7_9","volume-title":"Compiler Construction","author":"R.A. Engelen van","year":"2001","unstructured":"van Engelen, R.A.: Efficient symbolic analysis for optimizing compilers. In: Wilhelm, R. (ed.) CC 2001. LNCS, vol.\u00a02027, pp. 118\u2013132. Springer, Heidelberg (2001)"},{"key":"15_CR33","volume-title":"Hacker\u2019s Delight","author":"H. Warren","year":"2003","unstructured":"Warren, H.: Hacker\u2019s Delight. Addison-Wesley, Reading (2003)"},{"key":"15_CR34","doi-asserted-by":"crossref","unstructured":"Wolfe, M.J.: Beyond induction variables. In: ACM Symp. on Programming Language Design and Implementation (PLDI 1992), Francisco, California, June 1992, pp. 162\u2013174 (1992)","DOI":"10.1145\/143095.143131"},{"key":"15_CR35","volume-title":"High Performance Compilers for Parallel Computing","author":"M.J. Wolfe","year":"1996","unstructured":"Wolfe, M.J.: High Performance Compilers for Parallel Computing. Addison-Wesley, Reading (1996)"},{"key":"15_CR36","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1145\/384101.384148","volume-title":"Proceedings of the 2001 international symposium on symbolic and algebraic computation","author":"E.V. Zima","year":"2001","unstructured":"Zima, E.V.: On computational properties of chains of recurrences. In: Proceedings of the 2001 international symposium on symbolic and algebraic computation, pp. 345\u2013352. ACM Press, New York (2001)"}],"container-title":["Lecture Notes in Computer Science","High Performance Embedded Architectures and Compilers"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11587514_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:47:26Z","timestamp":1619506046000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11587514_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540303176","9783540322726"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/11587514_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}