brooks@lll-crg.ARpA (Eugene D. Brooks III) (10/09/85)
> REAL programmers don't need subscript checking
It was of course said in jest. I have never proved the correctness of
a program either. Its nice to see a little fire on the net however.
I do think that we should keep the software issues over in the net.lang.xxx
or your choice. I subscribe to net.arch to hear about computer architecture.