Static determination of dynamic properties of programs (1976)

by P Cousot, R Cousot
Venue:In Proc. of the 2 nd Intl. Symp. on Programming. Dunod