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:68 - 9 self

Documents Related by Co-Citation

1111 Proof-Carrying Code – George C. Necula - 1997
578 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
358 Simplify: A theorem prover for program checking – David Detlefs, Greg Nelson, James B. Saxe - 2003
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
522 Extended Static Checking for Java – Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata - 2002
1113 An Overview of AspectJ – Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, William G. Griswold - 2001
1273 The model checker SPIN – Gerard J. Holzmann - 1997
785 A Study of Cross-Validation and Bootstrap for Accuracy Estimation and Model Selection – Ron Kohavi - 1995
1072 Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies – J D Ullman - 1990