R.: Systematic Design of Program Analysis Frameworks (0)

by P Cousot, Cousot
Venue:In: Proceedings of the 6th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages