CCured: type-safe retrofitting of legacy code.

George C. Necula Scott McPeak Westley Weimer

Published in: ACM SIGPLAN Notices (2012)

Keyphrases

legacy software
artificial intelligence
information systems
metadata
source code
file system
neural network
image segmentation
relational databases