Francesco Logozzo Manuel Fähndrich Pentagons: a weakly relational abstract domain for the efficient validation of array accesses. 184-188 2008 SAC http://doi.acm.org/10.1145/1363686.1363736 conf/sac/2008 db/conf/sac/sac2008.html#LogozzoF08