Translation Validation for an Optimizing Compiler (2000)

by George C Necula
Venue:In Proceedings PLDI’00