The octagon abstract domain. (2006)

by A Mine
Venue:Higher Order Symbol. Comput.