On Fri, Jan 03, 2020 at 12:45:22PM -0500, Doug McIlroy wrote: > > C is one of the worst possible foundation languages conceivable for > > automated formal verification > > Yet the Mars rovers run on a wholly checked code base written > in C, ...
I sometimes think that C would be greatly improved if it just added:
Strings as first-class objects
(instead of a collection of array side effects)
Hardened memory management
Hardened pointer management
--
Mike Bianchi
