C++ Formalism

"In this paper, we develop a general formalism for describing the C++ programming language, and regular enough to cope with proposed extensions (such as concepts) for C++0x that affect its type system. Concepts are a mechanism for checking template arguments currently being developed to help cope with the massive use of templates in modern C++. The main challenges in developing a formalism for C++ are scoping, overriding, overloading, templates, specialization, and the C heritage exposed in the built-in types. Here, we primarily focus on templates and overloading." http://www.open-std.org/JTC1/SC22/WG21/docs/papers/2005/n1885.pdf http://www.open-std.org/JTC1/SC22/WG21/docs/papers/2005/n1886.pdf,