CCured: Type-safe retrofitting of legacy code (2002)

by G Necula, S McPeak, W Weimer
Venue:In Proc. Principles of Programming Languages (POPL’02). ACM