Software bugs aren't inevitable

[Paul Rubin]

"Paddy" <paddy3118 at netscape.net> writes:
> A work colleague circulated this interesting article about reducing
> software bugs by orders of magnitude:
>   http://www.spectrum.ieee.org/WEBONLY/publicfeature/sep05/0905ext.html

This gets a not found error.  Got a different link?

> Some methods they talk about include removing error prone and ambiguous
> expressions from their ADA based language Sparc - The example they give
> is on why they removed the increment operators x++, x-- .

There's a famous paper by John Hughes called "Why Functional
Programming Matters" that (cheap oversimplification) says you should
never modify the value of any variable.  So, no increments, not even
for loops (use recursion instead).