Verifying the Correctness of Compiler Transformations on Basic Blocks using Abstract Interpretation.

Timothy S. McNerney

Browse the full PEPM paper archive.