Charles Antony Richard Hoare citations

Charles Antony Richard Hoare , né le 11 janvier 1934 à Colombo au Ceylan , est un professeur émérite britannique du Oxford University Computing Laboratory.

Il est connu pour avoir inventé en 1959/1960 l'algorithme de tri rapide encore très utilisé de nos jours quicksort. Hoare est le premier à avoir écrit un compilateur complet pour le langage Algol 60, y compris l'appel de procédures récursives ; il est à l'origine de la logique de Hoare qui sert à la vérification de la correction de programmes et du langage formel Communicating sequential processes qui permet de spécifier l'interaction de processus concurrents et qui a inspiré les langages de programmation Occam ou Ada ainsi que le concept de moniteur. Wikipedia  

✵ 11. janvier 1934
Charles Antony Richard Hoare photo
Charles Antony Richard Hoare: 17 citations0 J'aime

Charles Antony Richard Hoare Citations

Cette traduction est en attente de révision. Est-ce correct?

Charles Antony Richard Hoare: Citations en anglais

“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.”

C. A. R. Hoare

The Emperor's Old Clothes
Contexte: 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. It demands the same skill, devotion, insight, and even inspiration as the discovery of the simple physical laws which underlie the complex phenomena of nature.

“There is nothing a mere scientist can say that will stand against the flood of a hundred million dollars. But there is one quality that cannot be purchased in this way — and that is reliability. The price of reliability is the pursuit of the utmost simplicity. It is a price which the very rich find most hard to pay.”

C. A. R. Hoare

The Emperor's Old Clothes
Contexte: [About PL/I] At first I hoped that such a technically unsound project would collapse but I soon realized it was doomed to success. Almost anything in software can be implemented, sold, and even used given enough determination. There is nothing a mere scientist can say that will stand against the flood of a hundred million dollars. But there is one quality that cannot be purchased in this way — and that is reliability. The price of reliability is the pursuit of the utmost simplicity. It is a price which the very rich find most hard to pay.

“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.”

C. A. R. Hoare

How Did Software Get So Reliable Without Proof? Lecture Notes in Computer Science vol 1051 1996 pp. 1-17 : FME '96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings.

“In any respectable branch of engineering, failure to observe such elementary precautions would have long been against the law”

C. A. R. Hoare

The Emperor's Old Clothes
Contexte: [About Algol 60 subset implementation] [E]very occurrence of every subscript of every subscripted variable was on every occasion checked at run time against both the upper and the lower declared bounds of the array. Many years later we asked our customers whether they wished us to provide an option to switch off these checks in the interests of efficiency on production runs. Unanimously, they urged us not to - they already knew how frequently subscript errors occur on production runs where failure to detect them could be disastrous. I note with fear and horror that even in 1980, language designers and users have not learned this lesson. In any respectable branch of engineering, failure to observe such elementary precautions would have long been against the law.

“[About Algol 60] 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.”

C. A. R. Hoare

Hints on Programming Language Design http://i.stanford.edu/pub/cstr/reports/cs/tr/73/403/CS-TR-73-403.pdf, December 1973.

“Premature optimization is the root of all evil.”

C. A. R. Hoare

Quote due to Donald Knuth, &quot;Structured Programming with Goto Statements&quot; http://pplab.snu.ac.kr/courses/adv_pl05/papers/p261-knuth.pdf, Computing Surveys 6:4 (December 1974), pp. 261–301, §1. Knuth refers to it as &quot;Hoare&#x27;s Dictum&quot; 15 years later in &quot;The Errors of TeX&quot;, Software—Practice &amp; Experience 19:7 (July 1989), pp. 607–685. However, the attribution to Hoare is doubtful. http://shreevatsa.wordpress.com/2008/05/16/premature-optimization-is-the-root-of-all-evil/ <br class="br">Attributed

Auteurs similaires

Terry Pratchett photo
Terry Pratchett82
écrivain britannique None
George Orwell photo
George Orwell27
écrivain britannique None
Richard Dawkins photo
Richard Dawkins8
biologiste et éthologiste britannique None
John Maynard Keynes photo
John Maynard Keynes12
économiste britannique None
Elias Canetti photo
Elias Canetti8
écrivain britannique germanophone None
Aldous Huxley photo
Aldous Huxley43
Romancier et essayiste britannique None
Winston Churchill photo
Winston Churchill23
homme d'État britannique None
Audrey Hepburn photo
Audrey Hepburn6
actrice britannique None
John Lennon photo
John Lennon10
auteur-compositeur-interprète britannique None
Ludwig Wittgenstein photo
Ludwig Wittgenstein28
philosophe et logicien autrichien, puis britannique None