Ironclad C++: A Library-Augmented Type-Safe Subset of C++ (OOPSLA 2013)acg.cis.upenn.edu2 pointsahomescu113 years ago