The CompCert project puts forward a radical, mathematically-grounded solution to the miscompilation problem: the formal, tool-assisted verification of the compiler itself.

submitted by /u/emonshr
[link] [comments]

from programming http://bit.ly/2WTMb7O