Ironclad C++: a library-augmented type-safe subset of c++.

Christian DeLozier, Richard A. Eisenberg, Santosh Nagarakatte, Peter-Michael Osera, Milo M. K. Martin, Steve Zdancewic

Browse the full OOPSLA paper archive.