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:76 - 8 self

Documents Related by Co-Citation

414 Simplify: A theorem prover for program checking – David Detlefs, Greg Nelson, James B. Saxe - 2003
1228 Proof-Carrying Code – George C. Necula - 1997
631 Bandera: Extracting Finite-state Models from Java Source Code – James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Hongjun Zheng - 2000
629 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
519 CIL: Intermediate language and tools for analysis and transformation of C programs – George C. Necula, Scott Mcpeak, Shree P. Rahul, Westley Weimer - 2002
604 Extended Static Checking for Java – Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata - 2002
1335 An Overview of AspectJ – Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, William G. Griswold - 2001
321 Finding bugs is easy – David Hovemeyer, William Pugh - 2004
384 Enforcing High-Level Protocols in Low-Level Software – Robert DeLine, Manuel Fahndrich - 2001