scientific article; zbMATH DE number 1956458

MaRDI QIDQ4417786zbMATH OpenFDO

Authors Michael Burrows, Stephen N. Freund, Janet L. Wiener

Publication date 30 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2622/26220090.htm

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 1693522
• scientific article; zbMATH DE number 1863891
• CCured, type-safe retrofitting of legacy code
• Interprocedural and flow-sensitive type analysis for memory and type safety of C code
• Tools to make C programs safe: a deeper study

Cited in

(8)

• A type system for static and dynamic checking of C++ pointers
• scientific article; zbMATH DE number 1692949 (Why is no real title available?)
• scientific article; zbMATH DE number 1693522 (Why is no real title available?)
• Tools to make C programs safe: a deeper study
• scientific article; zbMATH DE number 2087533 (Why is no real title available?)
• CCured, type-safe retrofitting of legacy code
• A type system for certified binaries
• Interprocedural and flow-sensitive type analysis for memory and type safety of C code

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4417786)