Pentagons: a weakly relational abstract domain for the efficient validation of array accesses
scientific article; zbMATH DE number 5772407
scientific article