Abstract Domains of Affine Relations.

Matt Elder, Junghee Lim, Tushar Sharma, Tycho Andersen, Thomas W. Reps

Browse the full SAS paper archive.