C. A. R. Hoare

Kohteesta Wikipedia
Siirry navigaatioon Siirry hakuun
C. A. R. Hoare
Tony Hoare vuonna 2005.
Tony Hoare vuonna 2005.
Henkilötiedot
Syntynyt 11. tammikuuta 1934 (ikä 85)
Colombo
Koulutus ja ura
Tutkimusalue Informaatiotiede ja tietojenkäsittelytiede
Tunnetut työt Hoaren logiikka
Palkinnot Turing-palkinto

Charles Antony Richard "Tony" Hoare (s. 11. tammikuuta 1934, Colombo, Sri Lanka) on brittiläinen tietojenkäsittelytieteilijä.[1] 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.

Lähteet[muokkaa | muokkaa wikitekstiä]

  1. William L. Hosch: Tony Hoare Encyclopaedia Britannica. Viitattu 24.7.2019. (englanniksi)
Tämä tieteilijään liittyvä artikkeli on tynkä. Voit auttaa Wikipediaa laajentamalla artikkelia.