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
Citations:61 - 8 self

Document Versions

Automated Soundness Proofs for Dataflow Analyses and Transformations Via Local Rules –Sorin Lerner, Todd Millstein, Erika Rice, Craig Chambers — 2005 — In Proc. of the 32nd Symposium on Principles of Programming Languages
Automated Soundness Proofs for Dataflow Analyses and Transformations Via Local Rules –Sorin Lerner, Todd Millstein, Erika Rice, Craig Chambers — 2005 — In Proc. of the 32nd Symposium on Principles of Programming Languages
Automated soundness proofs for dataflow analyses and transformations via local rules –Sorin Lerner, Erika Rice, Todd Millstein, Craig Chambers — 2004
Automated soundness proofs for dataflow analyses and transformations via local rules –Sorin Lerner, Erika Rice, Todd Millstein, Craig Chambers — 2004