3 ms·
The frontends are hard because you need to start with a formal definition of the language, really. Rust doesn't really have anything resembling a spec at the mo
by gsnedders 11y ago
The frontends are hard because you need to start with a formal definition of the language, really. Rust doesn't really have anything resembling a spec at the moment. C/C++ you still have the first problem of creating a formalization of the spec before you can verify the front-end.
- kachnuv_ocasek 11y agoC actually has multiple formal semantics. The most recent I'm aware of is Robbert Krebbers' (almost) complete formalizatiom of C11 in the CH2O project.[1] See also his upcoming PhD thesis[2] for more details. [1] http://robbertkrebbers.nl/research/ch2o/ http://robbertkrebbers.nl/research/ch2o/ [2] http://robbertkrebbers.nl/thesis.html http://robbertkrebbers.nl/thesis.html
- gsnedders 11y agoArguably C doesn't: C is just what the spec says. You can try and formalise what the spec says (as, rightly, many have done), but it's hard to guarantee correctness of that formalisation.