“The most important property of a program is whether it accomplishes the intentions of its user.”
Tony Hoare (verified)
An Axiomatic Basis for Computer Programming (Primary source)
Tony Hoare’s seminal paper lays the groundwork for formal program verification by introducing Hoare logic, a method that uses preconditions, postconditions, and assertions to reason about program correctness.
More about “An Axiomatic Basis for Computer Programming” →
“The most important property of a program is whether it accomplishes the intentions of its user. If these intentions can be described rigorously by making assertions about the values of variables at the end (or at intermediate points) of the execution of the program, then the techniques described in this paper may be used to prove the correctness of the program, provided that the implementation of the programming language conforms to the axioms and rules which have been used in the proof.”
Tony Hoare (verified)
“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.”
— Tony Hoare (verified)“The price of reliability is the pursuit of the utmost simplicity.”
— Tony Hoare (verified)“What is the central core of the subject [computer science]? What is it that distinguishes it from the separate subjects with which it is related? What is the linking thread which gathers these disparate branches into a single discipline? My answer to these questions is simple—it is the art of programming a computer.”
— Tony Hoare (verified)“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 (verified)“It is better to be making the news than taking it; to be an actor rather than a critic.”
— Winston Churchill (verified)“Books are the best of things, well used; abused, among the worst. What is the right use? What is the one end which all means go to effect? They are for nothing but to inspire.”
— Ralph Waldo Emerson (verified)“It is easier to resist at the beginning than at the end.”
— Leonardo da Vinci (verified)“The most important thing in any relationship is not what you get but what you give.”
— Eleanor Roosevelt (verified)