Translation validation for an optimizing compiler (2000)

by G C Necula
Venue:In Proc. of the ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation. ACM