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
The job of formal methods is to elucidate the assumptions upon which formal correctness depends. — Tony Hoare Copy Share
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
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
You cannot teach beginners top-down programming, because they don't know which end is up. — Tony Hoare Copy Share
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
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
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
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
I call it my billion-dollar mistake. It was the invention of the null reference in 1965. — Tony Hoare Copy Share
It is easy to predict that some of the discoveries of research directed towards Grand Challenges - but only the most unexpected ones, and… — Tony Hoare Copy Share
There are two methods in software design. One is to make the program so simple, there are obviously no errors. The other is to… — Tony Hoare Copy Share
