Program Testing Can Be Used To Show

Mathematicians Are Like Managers - They Want Improvement Without Change.

Aim For Brevity While Avoiding Jargon.

The Use Of Anthropomorphic Terminology Forces You Linguistically To Adopt An Operational View. And It Makes It Practically Impossible To Argue About Programs Independently Of Their Being Executed.

John Von Neumann Draws Attention To What Seemed To Him A Contrast. He Remarked That For Simple Mechanisms, It Is Often Easier To Describe How They Work Than What They Do, While For More Complicated Mechanisms, It Is Usually The Other Way Around.

If We Wish To Count Lines Of Code, We Should Not Regard Them As "lines Produced" But As "lines Spent."