Technical Reports (CIS)
Title
Document Type
Technical Report
Date of this Version
1-1-2013
Abstract
Core Ironclad is a core calculus that models the salient features of Ironclad C++, a library-augmented type-safe subset of C++. We give an overview of the language including its definition and key design points. We then prove type safety for the language and use that result to show that the pointer lifetime invariant, a key property of Ironclad C++, holds within the system.
Recommended Citation
Peter-Michael Osera, Richard A. Eisenberg, Christian DeLozier, Santosh Nagarakatte, Milo Martin, and Stephan A. Zdancewic, "Core Ironclad", . January 2013.
Date Posted: 05 August 2013