2004, ‘The Octahedron Abstract Domain (2011)

by R Clariso, J Cortadella
Venue:Static Analysis Symposium, Vol. 3148 of LNCS