CCured: type-safe retrofitting of legacy code.

George C. Necula Scott McPeak Westley Weimer

Published in: POPL (2002)

Keyphrases

search engine
optimal solution
legacy software
artificial intelligence
knowledge base
website
image segmentation
expert systems
source code
web applications