Automated Soundness Proofs for Dataflow Analyses and Transformations Via Local Rules (2005)
Cached
Download Links
- [www.cs.ucla.edu]
- [www.cs.ucsd.edu]
- [www.cse.ucsd.edu]
- [pag.csail.mit.edu]
- [pag.lcs.mit.edu]
- [www.eecs.umich.edu]
- DBLP
Other Repositories/Bibliography
by
Sorin Lerner
,
Todd Millstein
,
Erika Rice
,
Craig Chambers
| Venue: | In Proc. of the 32nd Symposium on Principles of Programming Languages |
| Citations: | 52 - 5 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 |
