Type checking systems code

MaRDI QIDQ4738341zbMATH OpenFDO

Authors Greg Morrisett

Publication date 11 August 2004

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

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• A type system for static and dynamic checking of C++ pointers
• Unifying type checking and property checking for low-level code
• Machine code type safety
• Run-time type checking for binary programs
• Formalizing the SAFECode type system

Cited in

(4)

• A type system for static and dynamic checking of C++ pointers
• Typestate checking of machine code
• Type checking for JavaScript
• Unifying type checking and property checking for low-level code

This page was built for publication: Type checking systems code

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