An Efficient Abstract Domain for Not Necessarily Closed Polyhedra.

Anna Becchi, Enea Zaffanella

Browse the full SAS paper archive.