Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

> impossible to formally prove

If you assume the entire lang, yes. If you use a large subset, no. Furthermore, compiler interpretation might actually be sane! There are more compilers out there than GCC, Clang or MSVC. I suspect many assumptions are being made on this claim.



Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: