Static determination of dynamic properties of programs (0)

by P Cousot, R Cousot
Venue:In Proc. ISOP 1976