CCured: Type-Safe Retrofitting of Legacy Software (2005)

by George C. Necula , Jeremy Condit , Matthew Harren , Scott Mcpeak , Westley Weimer
Venue:ACM Transactions on Programming Languages and Systems
Citations:112 - 9 self

Document Versions

CCured: Type-Safe Retrofitting of Legacy Software –George C. Necula, Jeremy Condit, Matthew Harren, Scott Mcpeak, Westley Weimer — 2005 — ACM Transactions on Programming Languages and Systems
CCured: Type-safe retrofitting of legacy software –George C. Necula, Jeremy Condit, Matthew Harren, Scott Mcpeak, Westley Weimer — 2005 — ACM Transactions on Programming Languages and Systems
CCured: Type-safe retrofitting of legacy software –George C. Necula, Jeremy Condit, Matthew Harren, Scott Mcpeak, Westley Weimer — 2005 — ACM Transactions on Programming Languages and Systems
CCured: Type-Safe Retrofitting of Legacy Software –George C. Necula, Jeremy Condit, Matthew Harren, Scott Mcpeak, Westley Weimer — 2004 — In ACM Transactions on Programming Languages and Systems (TOPLAS
CCured: Type-safe retrofitting of legacy software –George C. Necula, Jeremy Condit, Matthew Harren, Scott Mcpeak, Westley Weimer — 2005 — ACM Transactions on Programming Languages and Systems
CCured: Type-safe retrofitting of legacy software –George C. Necula, Jeremy Condit, Matthew Harren, Scott Mcpeak, Westley Weimer — 2005 — ACM Transactions on Programming Languages and Systems