Systematic design of program analysis frameworks (1979)

by P Cousot, R Cousot
Venue:In Conference Record of the Sixth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages