Automatic Discovery of Linear Restraints Among Variables of a Program (1978)

by P Cousot, N Halbwachs
Venue:In: Proc. 5th ACM Symp. on POPL