4 ms·

There are formally compilers (e.g. CompCert https://en.wikipedia.org/wiki/CompCert https://en.wikipedia.org/wiki/CompCert ) which are formally proven correct. I

by vzaliva 5mo ago

There are formally compilers (e.g. CompCert https://en.wikipedia.org/wiki/CompCert https://en.wikipedia.org/wiki/CompCert ) which are formally proven correct. I think eventually all production compilers will be formally verified.