Thanks To The Greatly Improved Possibility Of

We Shall Do A Much Better Programming Job, Provided That We Approach The Task With A Full Appreciation Of Its Tremendous Difficulty, Provided That We Stick To Modest And Elegant Programming Languages, Provided That We Respect The Intrinsic Limitations Of The Human Mind And Approach The Task As Very Humble Programmers.

The Computing Scientist's Main Challenge Is Not To Get Confused By The Complexities Of His Own Making.

Write A Paper Promising Salvation, Make It A "structured" Something Or A "virtual" Something, Or "abstract," "distributed" Or "higher-order" Or "applicative" And You Can Almost Be Certain Of Having Started A New Cult.

Teaching To Unsuspecting Youngsters The Effective Use Of Formal Methods Is One Of The Joys Of Life Because It Is So Extremely Rewarding.

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