Penguin
Recent Changes
Blame: CharlesAntonyRichardHoare
EditPageHistoryDiffInfoLikePages
Annotated edit history of CharlesAntonyRichardHoare version 3, including all changes. View license author blame.
Rev Author # Line
2 AristotlePagaltzis 1 One of the big names in ComputerScience.
1 CraigBox 2
2 AristotlePagaltzis 3 ;: 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. %%% ''— CharlesAntonyRichardHoare''
4
3 GlynWebster 5 It was he who discovered QuickSort in 1960, which is perhaps the single most widely used [Algorithm] ever.
2 AristotlePagaltzis 6
3 GlynWebster 7 He also described the formal logic system now known as Hoare logic or Hoare calculus in his 1969 paper [An axiomatic basis for computer programming | http://portal.acm.org/citation.cfm?doid=363235.363259]. This system defines axioms which can be used to reason about computer programs in order to do such things as formally proving their correctness.
2 AristotlePagaltzis 8
9 He now works at the [Microsoft Research Labs | http://www.research.microsoft.com/~thoare/].
10
11 ----
12
13 CategoryPeople