News for hackers. Stuff that matters.

A comment on Criticizing the Rust Language, and Why C/C++ Will Never Die. Parent comment

Re:Criticizing the Rust Language, and Why C/C++ Will Never Die by mafribe on Wednesday May 13, 2015 @03:18AM (#9537318) 

     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...

[ Parent | on HN ]

There are no comments on this comment yet.