'goto" gone from computer languages or is it!

[der Mouse]

> So it's nothing to do with stifling your creativity: be as creative
> as you like. It's just unlikely that any of us (including you) will
> ever know whether your prorams (or at least any of them of
> significant size) are correct or not.

And this is just as true of people who use such formal methods.  Manual
verification is as prone to errors as anything else humans do, and
automated verification involves programs far too large and complex to
be even moderately confident they're bug-free.

(Which is not to say that verifiers can't be useful tools.  Just that
they don't provide the kind of "proof" level of confidence that your
implicit contrast implies you think they do.)

/~\ The ASCII				der Mouse
\ / Ribbon Campaign
 X  Against HTML	       mouse at rodents.montreal.qc.ca
/ \ Email!	     7D C8 61 52 5D E7 2D 39  4E F1 31 3E E8 B3 27 4B