Correctness of classical compiler optimizations using CTL (2002)

by Carl Frederiksen
Venue:In Proceedings of the First International Workshop on Compiler Optimization meets Compiler Verification (COCV’02), volume 65(2) of ENTCS