Integer Polyhedra for Program Analysis.

Philip J. Charles, Jacob M. Howe, Andy King

Browse the full AAIM paper archive.