Technical Reports (CIS)

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.

Share

COinS
 

Date Posted: 05 August 2013