The Design and Implementation of a Certifying Compiler (1998)

by George C Necula, Peter Lee
Venue:In Proc. PLDI’98