Automatically Proving the Correctness of Compiler Optimizations (2003)

by Sorin Lerner, Todd Millstein, Craig Chambers