The octahedron abstract domain (0)

by R Clariso, J Cortadella
Venue:In Proc. SAS 2004