[Info-vax] Opportunity for VSI?

[Bill Gunshannon]

On 12/21/18 4:37 PM, Simon Clubley wrote:
> On 2018-12-20, johnwallace4 at yahoo.co.uk <johnwallace4 at yahoo.co.uk> wrote:
>>
>>  From my point of view, it's not just about subsetting to
>> reduce the impact of language complexity. It's about
>> testability and verifiability of design and runtime,
>> and including this capability from day 1, in a productive
>> way.
>>
> 
> I agree about SPARK.
> 
> It's the same reason why we have both MISRA C and normal C.
> 
> You can't exactly call C a complex language that needs to have
> a subset in order to be understandable or usable in normal
> non-critical programs. :-)
> 

Somebody needs to revive Safe C.
What ever happened to Donald French and CATALYTIX CORP.?

bill