Энтони Хоар цитаты

Энтони Хоар фото
6   0

Энтони Хоар

Дата рождения: 11. Январь 1934

Сэр Чарльз Э́нтони Ри́чард Хо́ар — английский учёный, специализирующийся в области информатики и вычислительной техники. Наиболее известен как разработчик алгоритма «быстрой сортировки» , на сегодняшний день являющегося наиболее популярным алгоритмом сортировки.

Другие известные результаты его работы: язык Z спецификаций и параллельная модель взаимодействия последовательных процессов . В числе его заслуг — разработка логики Хоара , научной основы для конструирования корректных программ, используемой для определения и разработки языков программирования. Хоар создал ряд трудов по созданию спецификаций, проектированию, реализации и сопровождению программ, показывающих важность научных результатов для увеличения производительности компьютеров и повышения надежности программного обеспечения.

„Преждевременная оптимизация — корень всех зол.“

—  Энтони Хоар

статья « Structured Programming with <tt>go to</tt> Statements http://pplab.snu.ac.kr/courses/adv_pl05/papers/p261-knuth.pdf» в сборнике «Computing Surveys» (Vol. 6, № 4, декабрь 1974, стр. 268).
Premature optimization is the root of all evil.
Приписываемые

„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
Контексте: [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.

„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
Контексте: [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.

„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
Контексте: 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.

Help us translate English quotes

Discover interesting quotes and translate them.

Start translating

„Lorem ipsum dolor sit amet, consectetuer adipiscing elit. Etiam egestas wisi a erat. Morbi imperdiet, mauris ac auctor dictum.“

Подобные авторы

Артур Чарльз Кларк фото
Артур Чарльз Кларк27
английский писатель, учёный, футуролог и изобретатель
Кадзуо Исигуро фото
Кадзуо Исигуро3
британский писатель японского происхождения
Уинстон Черчилль фото
Уинстон Черчилль252
британский государственный и политический деятель, военный,…
Элиас Канетти фото
Элиас Канетти35
австрийский, болгарский, британский писатель, драматург, ку…
Альфред Хичкок фото
Альфред Хичкок32
британский и американский кинорежиссёр, продюсер, сценарист
Умберто Эко фото
Умберто Эко18
итальянский учёный-философ, историк-медиевист, специалист п…
Фредди Меркьюри фото
Фредди Меркьюри68
британский певец и музыкант
Ромен Роллан фото
Ромен Роллан55
французский писатель, общественный деятель, учёный-музыковед
Клайв Стейплз Льюис фото
Клайв Стейплз Льюис137
ирландский писатель и учёный
Ричард Фейнман фото
Ричард Фейнман22
американский учёный, физик
Сегодня годовщина
Кристиан Диор фото
Кристиан Диор16
Модельер 1905 - 1957
Райан Рейнольдс фото
Райан Рейнольдс25
Актёр и продюсер 1976
Другие 42 годовщин
Подобные авторы
Артур Чарльз Кларк фото
Артур Чарльз Кларк27
английский писатель, учёный, футуролог и изобретатель
Кадзуо Исигуро фото
Кадзуо Исигуро3
британский писатель японского происхождения
Уинстон Черчилль фото
Уинстон Черчилль252
британский государственный и политический деятель, военный,…
Элиас Канетти фото
Элиас Канетти35
австрийский, болгарский, британский писатель, драматург, ку…
Альфред Хичкок фото
Альфред Хичкок32
британский и американский кинорежиссёр, продюсер, сценарист