C. A. R. Hoare

Wikipedia
Loikkaa: valikkoon, hakuun
Tony Hoare vuonna 2005.

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.