Automatic discovery of linear restraints among the variables of a program (1978)

by P Cousot, H Halbwachs
Venue:In ACM Principles of Programming Languages