A new numerical abstract domain based on difference-bound matrices (2001)

Cached

Download Links

by Antoine Miné , École Normale , Supérieure Paris
Venue:Proceedings of the 2nd Symposium on Programs as Data Objects (PADO 2001), volume 2053 of Lecture Notes in Computer Science
Citations:62 - 11 self