C. A. R. Hoare

Kohteesta Wikipedia
Loikkaa: valikkoon, hakuun
C. A. R. Hoare
Tony Hoare vuonna 2005.
Tony Hoare vuonna 2005.
Syntynyt 11. tammikuuta 1934 (ikä 83)
Tunnustukset Turing-palkinto

Charles Antony Richard "Tony" Hoare (s. 11. tammikuuta 1934, Colombo, Sri Lanka) on brittiläinen tietojenkäsittelytieteilijä. Hän on kehittänyt muun muassa pikalajittelualgoritmin ja Hoaren logiikan sekä monitorit ratkaisuksi moniajojärjestelmien lukkiutumatilanteisiin.

Hoare sai Turing-palkinnon vuonna 1980.

Kirjoja[muokkaa | muokkaa wikitekstiä]

  • O.-J. Dahl, E. W. Dijkstra, C. A. R. Hoare (1972): Structured Programming. Academic Press. ISBN 0-12-200550-3.
  • C. A. R. Hoare (1985): Communicating Sequential Processes. Prentice Hall International Series in Computer Science. ISBN 0-13-153271-5 hardback or ISBN 0-13-153289-8 paperback.
  • C. A. R. Hoare, M. J. C. Gordon (1992): Mechanised Reasoning and Hardware Design. Prentice Hall International Series in Computer Science. ISBN 0-13-572405-8.
  • C. A. R. Hoare, He Jifeng (1998): Unifying Theories of Programming. Prentice Hall International Series in Computer Science. ISBN 0-13-458761-8.
Tämä tieteenharjoittajaan liittyvä artikkeli on tynkä. Voit auttaa Wikipediaa laajentamalla artikkelia.