[Info-vax] Opportunity for VSI?

[Simon Clubley]

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. :-)

Simon.

-- 
Simon Clubley, clubley at remove_me.eisner.decus.org-Earth.UFP
Microsoft: Bringing you 1980s technology to a 21st century world