Sebastian Pop, Albert Cohen, Georges-André Silber. Induction Variable Analysis with Delayed Abstractions. In Thomas M. Conte, Nacho Navarro, Wen-mei W. Hwu, Mateo Valero, Theo Ungerer, editors, High Performance Embedded Architectures and Compilers, First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005, Proceedings. Volume 3793 of Lecture Notes in Computer Science, pages 218-232, Springer, 2005. [doi]
Abstract is missing.