Automatically Proving the Correctness of Compiler Optimizations (2003)

by Sorin Lerner , Todd Millstein , Craig Chambers
Citations:68 - 9 self

Document Versions

Automatically Proving the Correctness of Compiler Optimizations –Sorin Lerner, Todd Millstein, Craig Chambers — 2003
Automatically proving the correctness of compiler optimizations –Sorin Lerner, Todd Millstein, Craig Chambers — 2003 — In Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation
Automatically Proving the Correctness of Compiler Optimizations –Sorin Lerner, Todd Millstein, Craig Chambers — 2002 — In Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation