[Info-vax] Opportunity for VSI?

[Arne Vajhøj]

On 12/21/2018 6:16 PM, Bill Gunshannon wrote:
> 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.?

Google seems to find most mid 80's references.

It is probably long gone.

https://staff.aist.go.jp/y.oiwa/FailSafeC/index-en.html looks a bit newer.

But I believe that the potential customers for such are looking
at Go and Rust.

Arne