Two Variables per Linear Inequality as an Abstract Domain.

Axel Simon, Andy King, Jacob M. Howe

Browse the full LOPSTR paper archive.