Automated soundness proofs for dataflow analyses and transformations via local rules (2005)

by S Lerner, T D Millstein, E Rice, C Chambers
Venue:In POPL