An Efficient Abstract Domain for Not Necessarily Closed Polyhedra
2018 ◽
pp. 146-165
◽