C++ is impossible to validate formally. This is incorrect. Any language with a well-defined semantics (such as a compiler or interpreter) can be validated form

C++ is impossible to validate formally. This is incorrect. Any language with a well-defined semantics (such as a compiler or interpreter) can be validated formally. It may just be too time-consuming for people to bother. For example the operational semantics of C has been implemented formally, e.g. [1]. The same could be done with C++. [1] http://fsl.cs.illinois.edu/index.php/An_Executable_Formal_Semantics_of_C_with_Applications http://fsl.cs.illinois.edu/index.php/An_Executable_Formal_Se...