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

["Martin Dowie" <martin.dowie@btopenworld.com>]

"Vinzent 'Gadget' Hoefler" <nntp-2004-05@t-domaingrabbing.de> wrote in
message news:p8ih90tob4d617h6tjev9d0jmj20h716lu@jellix.jlfencey.com...
> Well, I'd say that SPARK as an verifiable Ada-subset is quite
> successful in that regard. I doubt that an equally verifiable subset
> of C++ can ever be implemented. But perhaps that's just me.

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