The real value of tests is not that they detect bugs in the code but that they detect inadequacies in the methods, concentration, and skills of those who design and produce the code.

The job of formal methods is to elucidate the assumptions upon which formal correctness depends.

Some problems are better evaded than solved.

I don't know what the language of the year 2000 will look like, but I know it will be called Fortran.

The real value of tests is not that they detect bugs in the code but that they detect inadequacies in the methods, concentration, and skills of those who design and produce the code.

Premature optimization is the root of all evil in programming.

You cannot teach beginners top-down programming, because they don't know which end is up.