The octagon abstract domain (0)

by A Miné
Venue:Higher-Order and Symbolic Computation