Systematic Design of Program Transformation Frameworks by Abstract Interpretation (2002)

by P COUSOT, R COUSOT
Venue:in "Conference Record of the Twentyninth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages", ACM