Denis Gopan Thomas W. Reps Shmuel Sagiv A framework for numeric analysis of array operations. 338-350 2005 conf/popl/2005 POPL http://doi.acm.org/10.1145/1040305.1040333 db/conf/popl/popl2005.html#GopanRS05