Static Determination of Dynamic Properties of Programs (1976)

by P Cousot, R Cousot
Venue:In Second Int. Symp. on Programming