Systematic design of program analysis frameworks (1979)

by P Cousot, R Cousot
Venue:In Proc. 6th POPL