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

by Patrick Cousot , Radhia Cousot
Citations:57 - 5 self