Automatic Discovery of Linear Restraints Among Variables of a Program.

Patrick Cousot, Nicolas Halbwachs

Browse the full POPL paper archive.