Sciweavers

CGO
2009
IEEE

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

14 years 6 months ago
A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models
Daniel Cordes, Heiko Falk, Peter Marwedel
Added 18 May 2010
Updated 18 May 2010
Type Conference
Year 2009
Where CGO
Authors Daniel Cordes, Heiko Falk, Peter Marwedel
Comments (0)