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

by Necula GC, S McPeak, W Weimer
Venue:Symposium on Principles of Programming Languages. ACM