Esthetics (or worse?) of Secure Pointers

[Neil Booth]

Robert Bernecky wrote:-

> As computing professionals, we have a responsibility to
> provide provably reliable tools. C without secure pointers
> is not reliable.

I know what you're trying to say, but "provably reliable tools" is
somewhat too strong.  You'd have to prove compiler correctness first.
Modulo compiler correctness it might be possible.

Neil.