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

by P Cousot, N Halbwachs
Venue:In Proceedings of the ACM Symposium on the Principles of Programming Languages (POPL