Title
Document Type
Technical Report
Publication Title
University of Pennsylvania Department of Computer and Information Science Technical Report
Version
Final Published Version
Volume
MS-CIS-13-06
Publication Date
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.
Citation
P.-M. Osera, R. A. Eisenberg, C. DeLozier, S. Nagarakatte, M. M. K. Martin, S. Zdancewic. Core Ironclad. University of Pennsylvania Technical Report MS-CIS-13-06, 2013.