|
|
|
|
|
|
by mafribe
4056 days ago
|
|
|
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_Se... |
|
|