Francesco Logozzo, Manuel Fähndrich. Pentagons: a weakly relational abstract domain for the efficient validation of array accesses. In Roger L. Wainwright, Hisham Haddad, editors, Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008. pages 184-188, ACM, 2008. [doi]
Abstract is missing.