It Is Not The Task Of The

A Convincing Demonstration Of Correctness Being Impossible As Long As The Mechanism Is Regarded As A Black Box, Our Only Hope Lies In Not Regarding The Mechanism As A Black Box.

Aim For Brevity While Avoiding Jargon.

The Tools We Use Have A Profound And Devious Influence On Our Thinking Habits, And Therefore On Our Thinking Abilities.

In This Respect A Program Is Like A Poem: You Cannot Write A Poem Without Writing It. Yet People Talk About Programming As If It Were A Production Process And Measure "programmer Productivity" In Terms Of "number Of Lines Of Code Produced". In So Doing They Book That Number On The Wrong Side Of The Ledger: We Should Always Refer To "the Number Of Lines Of Code Spent".

If Debugging Is The Process Of Removing Software Bugs, Then Programming Must Be The Process Of Putting Them In.