CCured: type-safe retrofitting of legacy code.

George C. Necula, Scott McPeak, Westley Weimer

Browse the full POPL paper archive.