Comment Comment by pkhuong > Just don't use C for sending astronauts in spaceBut do use C to control nuclear reactors https://list.cea.fr/en/page/frama-c/It's a lot easier to catch errors of omission in C than it is to catch unintended implicit behavior in C++. parent pkhuong 11 months ago
But do use C to control nuclear reactors https://list.cea.fr/en/page/frama-c/
It's a lot easier to catch errors of omission in C than it is to catch unintended implicit behavior in C++.