Systematic Design of Program Analysis Frameworks (1979)

by P Cousot, R Cousot
Venue:In Proceedings of POPL '79