Tony Hoare

Fra Wikisida.no
Hopp til navigering Hopp til søk
Tony Hoare

Charles Antony Richard Hoare (født 11. januar 1934[1]), vanligvis kjent som Tony Hoare eller C.A.R. Hoare, er en britisk informatiker. Han utviklet sorteringsalgoritmen Quicksort i 1959.[2] Han har også utviklet Hoares logikk for å verifisere programmers korrekthet, og det formelle programmeringsspråket Communicating sequential processes (CSP) for å spesifisere interaksjoner mellom parallelle prosesser (deriblant de spisende flosofers problem) og var inspirasjon for programmeringsspråket occam.[3][4][5][6][7]

Referanser[rediger | rediger kilde]

  1. ↑ «List of Fellows». Arkivert fra originalen 8. juni 2016. Besøkt 28. januar 2017. 
  2. ↑ In 1959, while studying machine translation of languages in Moscow, he invented the now well-known sorting algorithm, "Quicksort." Arkivert 3. april 2015 hos Wayback Machine.
  3. ↑ Antony Hoare Arkivert 3. april 2015 hos Wayback Machine., Computerhistory.org
  4. ↑ C. A. R. Hoare, ACM Digital Library
  5. ↑ List of publications, from Microsoft Academic Search
  6. ↑ Shustek, L. (2009). «Interview: An interview with C.A.R. Hoare». Comm. ACM. 52 (3): 38–41. doi:10.1145/1467247.1467261. 
  7. ↑ Hoare, C. A. R. (1974). «Monitors: An operating system structuring concept». Communications of the ACM. 17 (10): 549. doi:10.1145/355620.361161. 
Denne artikkelen er en spire. Du kan hjelpe Wikipedia ved å utvide den.
Autoritetsdata
Hentet fra «https://www.wikisida.no/index.php?title=Tony_Hoare&oldid=492506»