A formalism for C++

Gabriel Dos Reis, Bjarne Stroustrup. A formalism for C++. Technical Report N1885=05-0145, ISO/IEC JTC1/SC22/WG21, 2005.

Abstract

Abstract is missing.