Daniel Cordes, Heiko Falk, Peter Marwedel. A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models. In Proceedings of the CGO 2009, The Seventh International Symposium on Code Generation and Optimization, Seattle, Washington, USA, March 22-25, 2009. pages 136-146, IEEE Computer Society, 2009. [doi]
Abstract is missing.