Special Merits of Tony Hoare#
Specific outstanding technical and professional engineering accomplishments and contributions #
Hoare is one of the founding fathers of computer science. In the early 1960s he designed Quicksort, one of the most fundamental computer algorithm for sorting data elements. He was one of the first implementor of Algol 60, a language that has had tremendous influence on modern programming languages. In 1969 he proposed the first rigorous formalism for assigning precise meaning to programs. His axiomatic approach, and the style of reasoning it required, has become part of the canon of computer science. His 1972 book on structured programming has had profound impact on programming practice. In 1974, He developed the concept of monitor, as a fundamental way of structuring operating systems. His 1985 book on communicating sequential processes established the foundations for reasoning about concurrency.Impact of work (technical, commercial, national, etc.):#
Algol 60 was the first programming language to have been designed in a principled way. It laid the foundations for modern programming languages such as C++ and Java, which are referred to as Algol-like languages. Quicksort is one of the most used computer algorithms. Monitors are fundamental to the construction of operating systems. The axiomatic approach to program semantics is the most fundamental formal approach to programming. Hoare's fundamental contributions have all become part of the basic computer-science curriculum.Particularly important contributions #
- C.A.R. Hoare: Communicating Sequential Processes, Prentice-Hall, 1985
- C.A.R. Hoare: An axiomatic basis for computer programming, Comm. ACM, 12(1969), 576-581
- C.A.R. Hoare: Monitors: an operating system structuring concept, Comm. ACM, 17(1974), 549-557
- O.J. Dahl, EW Dijkstra, C.A.R Hoare: Structured Programming, Academic Press, 1972
- C.A.R. Hoare: QUicksort, Computer Journal, 1972
See also the Wikipedia entry
#
Department of Computer Science, University of Oxford#
Any further pages in alphabetic order of their title as created by you.
#
Just click at "Create new page", then type a short title and click OK, then add information on the empty page presented to you (including maybe a picture from your harddisk or a pdf-file by using the "Upload" Button) and finally click at "Save".
...no Data available yet!
