Skip to content

Assumption Quote by Tony Hoare

“The job of formal methods is to elucidate the assumptions upon which formal correctness depends.” quote by Tony Hoare — Download Open image

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

★ ★ ★ ★ ★ 3.2 out of 5 (3 ratings)

Assumption Computing Correctness Depends Formal Jobs Method

More by Tony Hoare

Programmers are always surrounded by complexity; we cannot avoid it… If our basic tool, the language in which we design and code our programs,…

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…

Image

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

Image

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

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…

Image

The unavoidable price of reliability is simplicity.

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…

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…

Image

Inside every large program is a small program struggling to get out.

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…

Image

I call it my billion-dollar mistake. It was the invention of the null reference in 1965.

Image

It is easy to predict that some of the discoveries of research directed towards Grand Challenges - but only the most unexpected ones, and…

Image

Explore all 22 Tony Hoare quotes

More Assumption quotes

Next to the assumption of power was the responsibility of relinquishing it.

Benjamin Disraeli

Image

It's difficult for people to come to the understanding that only a small minority of the people ever really get the word about life,…

Earl Nightingale

Image

Much like teaching art to young art students age 10 to 15 or so on, you have to break it down into bite-sized pieces,…

Image

Neither novels or their readers benefit from any attempts to divine whether any facts hide inside a story. Such efforts attack the very idea…

Image

The risk of developing carcinoma of the lung increases steadily as the amount smoked increases. If the risk among non-smokers is taken as unity…

Image

Fortunately, the mind is restless; when it uncovers a layer of its own deception, gives up an illusion, exposes a lie, it does not…

Image

The possibility of saying anything about a thing rests on the assumption that it preserves its identity, or continues to be the same thing…

Image

She spent hours drawing on her own, trying to perfect her craft. And when she got into music, she had that same diligence in…

Image

If they are, then the only ultimate truths are the particulars of concrete experience, and no postulate or general assumption is inherent in science…

Chauncey Wright

Image

If he's - the inference is that somehow he thinks slavery is a - is a noble institution I would - I would strongly…

Image

Leadership, pure and simple, is the assumption of responsibility for the pursuit of excellence in group life.

Philip Selznick

Image

Humans suffer from self-centred notions as to the nature of life. Humans assume that alien life forms should conform to standards that match our…

Image

Browse all 1,228 Assumption quotes