4 ms·
It can be proven, see CompCert C compiler: http://compcert.inria.fr/compcert-C.html http://compcert.inria.fr/compcert-C.html.
by iso8859-1 15y ago
It can be proven, see CompCert C compiler: http://compcert.inria.fr/compcert-C.html http://compcert.inria.fr/compcert-C.html.
- stingraycharles 15y agoThat only proves that a compiler behaves according to a language definition. That does not prove the executables will behave as you expect the executables to behave, and thus there is no way knowing the executables will be error free.
- Dylan16807 15y agoFrownie said error-free compilation, not error-free in all possible aspects.