Static Determination of Dynamic (1976)

by P Cousot, R Cousot
Venue:Properties of Programs”, 2 nd Int’l Symposium on Programming