[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: GNUism in groff tests, was: pic anomalies
|
From: |
Mike Bianchi |
|
Subject: |
Re: GNUism in groff tests, was: pic anomalies |
|
Date: |
Fri, 3 Jan 2020 13:21:47 -0500 |
|
User-agent: |
Mutt/1.5.23 (2014-03-12) |
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