@article{SAC-OOPS-J-2008-LogozzoF10,
	author        = "Francesco Logozzo and Manuel Fähndrich",
	doi           = "10.1016/j.scico.2009.04.004",
	journal       = "{Science of Computer Programming}",
	number        = 9,
	pages         = "796--807",
	title         = "{Pentagons: A weakly relational abstract domain for the efficient validation of array accesses}",
	volume        = 75,
	year          = 2010,
}