2 ms·
A certified C compiler a la CompCert is still nothing like Ada Spark. C just lends itself too easily to error.
by coolsunglasses 12y ago
A certified C compiler a la CompCert is still nothing like Ada Spark. C just lends itself too easily to error.