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. — Tony Hoare Copy Share Image
Programmers are always surrounded by complexity; we cannot avoid it.... If our basic tool, the language in which we design and code our programs,… — Tony Hoare Copy Share Image
The job of formal methods is to elucidate the assumptions upon which formal correctness depends. — Tony Hoare Copy Share Image
A single human brain has about a hundred million nerve cells... and a computer program that throws light on the mind/brain problem will have… — Tony Hoare Copy Share Image
I don't know what the language of the year 2000 will look like, but I know it will be called Fortran. — Tony Hoare Copy Share Image
You cannot teach beginners top-down programming, because they don't know which end is up. — Tony Hoare Copy Share Image
An ultimate joint challenge for the biological and the computational sciences is the understanding of the mechanisms of the human brain, and its relationship… — Tony Hoare Copy Share Image
What is the central core of the subject [computer science]? What is it that distinguishes it from the separate subjects with which it is… — Tony Hoare Copy Share Image
The real value of tests is not that they detect bugs in the code but that they detect inadequacies in the methods, concentration, and… — Tony Hoare Copy Share Image
Here is a language so far ahead of its time, that it was not only an improvement on its predecessors, but also on nearly… — Tony Hoare Copy Share Image
I call it my billion-dollar mistake. It was the invention of the null reference in 1965. — Tony Hoare Copy Share Image