If We Wish To Count Lines Of

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

How Do We Convince People That In Programming Simplicity And Clarity - In Short: What Mathematicians Call Elegance - Are Not A Dispensable Luxury, But A Crucial Matter That Decides Between Success And Failure?

Computer Science Has As Much To Do With Computers As Astronomy Has To Do With Telescopes.

Programming Is One Of The Most Difficult Branches Of Applied Mathematics; The Poorer Mathematicians Had Better Remain Pure Mathematicians.

When We Had No Computers, We Had No Programming Problem Either. When We Had A Few Computers, We Had A Mild Programming Problem. Confronted With Machines A Million Times As Powerful, We Are Faced With A Gigantic Programming Problem.