Systematic design of program analysis frameworks (1979)

by P COUSOT, R COUSOT
Venue:In Proceedings of the Sixth ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages