One can't proceed from the informal to the formal by formal means.

In English every word can be verbed.

If you have a procedure with 10 parameters, you probably missed some.

I think it is inevitable that people program poorly. Training will not substantially help matters. We have to learn to live with it.

A good programming language is a conceptual universe for thinking about programming.

There is no such thing as a free variable.

C programmers never die. They are just cast into void.