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

by P Cousot, N Halbwachs
Venue:In Conference Record of the Fifth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages