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

by G C NECULA, S MCPEAK, W WEIMER
Venue:In Proc. 29th ACM Symp. Principles of Programming Languages (POPL ’02