Re: "Ravenscar-like" profile for C/C++

[Peter Amey <peter.amey@praxis-cs.co.uk>]

Martin Dowie wrote:
[snip]
> No, it's not just you - I have asked a senior Praxis person before
> if they had plans for a C++ version and they told they had spent
> plenty time thinking about how one could achieve something
> worthwhile for C++ and similar to SPARK but they just couldn't
> think of anything!
> 
> Doesn't prove that such a thing could be done, of course, but
> they are the people in the best position to attempt such a thing!
> 
> That was also ~2001 - things may have changed!
> 
> Cheers
> 
> -- Martin
> 
> p.s. I didn't want to name names! If the Praxis person wants to
> verify this conversation from Ada-Europe in Belgium they are
> free to do so! :-)

Your memory serves you well!  I don't think things have changed that 
much.  My personal view is that any such subset, if it did exist, would 
be so restrictive and unnatural to typical C++ users that they would 
find it unacceptable.  Persuading a potential Ada user of the merits of 
SPARK is a much easier proposition because they have already taken 
several steps down the early error detection route.

Peter