Systematic design of program transformation frameworks by abstract interpretation (2002)

by P Cousot, R Cousot
Venue:In Proc. of Conf. Record of the Twentyninth Annual ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages