News for hackers. Stuff that matters.

A comment on Boeing Flies on 99% Ada. Parent comment

Re:Boeing Flies on 99% Ada by coolsunglasses on Sunday August 31, 2014 @09:36PM (#8251146)
A certified C compiler a la CompCert is still nothing like Ada Spark. C just lends itself too easily to error.
[ Parent | on HN ]

There are no comments on this comment yet.