Quote

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

Tony Hoare

Change background

T
T
T

Change font

TAGS & TOPICS

Tony Hoare
Age: 90
Born: 1934
Born: January 11
Computer Scientist
Engineer
Programmer
University Teacher
Writer
C. A. R. Hoare
Charles Antony Richard Hoare
Sir Charles Antony Richard Hoare
C.A.R. Hoare
Jobs
Correctness
Assumptions
Methods
Formal
Assumption
Method
Depends
Elucidate
Upon
Computing

More quotes by Tony Hoare

Image
The unavoidable price of reliability is simplicity.
Tony Hoare
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 all its successors.
Tony Hoare
Image
You cannot teach beginners top-down programming, because they don't know which end is up.
Tony Hoare
Image
Some problems are better evaded than solved.
Tony Hoare
Image
I call it my billion-dollar mistake. It was the invention of the null reference in 1965.
Tony Hoare
Image
The price of reliability is the pursuit of the utmost simplicity. It is a price which the very rich may find hard to pay.
Tony Hoare
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 skills of those who design and produce the code.
Tony Hoare
Image
There are two ways of constructing a software design: One way is to make it so simple that there are obviously no deficiencies, and the other way is to make it so complicated that there are no obvious deficiencies. The first method is far more difficult.
Tony Hoare
Image
I was eventually persuaded of the need to design programming notations so as to maximize the number of errors which cannot be made, or if made, can be reliably detected at compile time.
Tony Hoare
Image
Inside every large program is a small program struggling to get out.
Tony Hoare