Pentagons: a weakly relational abstract domain for the efficient validation of array accesses

13 years 3 months ago

s: A Weakly Relational Abstract Domain for the Efficient Validation of Array Accesses Francesco Logozzo Microsoft Research, Redmond, WA, USA Manuel F

Francesco Logozzo, Manuel Fähndrich

Abstract Domain | Applied Computing | Numerical Abstract Domain | Relational Abstract Domain | SAC 2008 |

claim paper

Added	28 Dec 2010
Updated	28 Dec 2010
Type	Journal
Year	2008
Where	SAC
Authors	Francesco Logozzo, Manuel Fähndrich

Comments (0)