SAFECode

swMATH13323MaRDI QIDQ25238FDOQ25238

Author name not available (Why is that?)

Official website: http://safecode.cs.illinois.edu/

Described by source

• Formalizing the SAFECode type system

Cited In (3)

• A theory of platform-dependent low-level software
• Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors
• Certified programs and proofs. Third international conference, CPP 2013, Melbourne, VIC, Australia, December 11--13, 2013. Proceedings

This page was built for software: SAFECode