Automated Soundness Proofs for Dataflow Analyses and Transformations Via Local Rules (2005)

by Sorin Lerner, Todd Millstein, Erika Rice, Craig Chambers
Venue:In Proc. of the 32nd Symposium on Principles of Programming Languages