A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models.

Paul Lokuciejewski, Daniel Cordes, Heiko Falk, Peter Marwedel

Browse the full CGO paper archive.