Redigerer Tony Hoare

{{infoboks biografi}}
'''Charles Antony Richard Hoare''' (født [[11. januar]] [[1934]]<ref name="List of Fellows">{{cite web|title=List of Fellows|url=http://www.raeng.org.uk/about-us/people-council-committees/the-fellowship/list-of-fellows|access-date=2017-01-28|archive-date=2016-06-08|archive-url=https://web.archive.org/web/20160608094405/http://www.raeng.org.uk/about-us/people-council-committees/the-fellowship/list-of-fellows|url-status=yes}}</ref>), vanligvis kjent som '''Tony Hoare''' eller '''C.A.R. Hoare''', er en [[storbritannia|britisk]] [[informatikk|informatiker]]. Han utviklet [[sorteringsalgoritme]]n [[Quicksort]] i 1959.<ref>[http://www.computerhistory.org/fellowawards/hall/bios/Antony,Hoare/ ''In 1959, while studying machine translation of languages in Moscow, he invented the now well-known sorting algorithm, "Quicksort."''] {{Wayback|url=http://www.computerhistory.org/fellowawards/hall/bios/Antony%2CHoare/ |date=20150403184558 }}</ref> Han har også utviklet [[Hoares logikk]] for å verifisere programmers korrekthet, og det formelle [[programmeringsspråk]]et [[Communicating sequential processes]] (CSP) for å spesifisere interaksjoner mellom [[parallellitet (informatikk)|parallelle prosesser]] (deriblant [[de spisende flosofers problem]]) og var inspirasjon for programmeringsspråket [[occam (programmeringspråk)|occam]].<ref name="ACM">[http://www.computerhistory.org/fellowawards/hall/bios/Antony,Hoare/ Antony Hoare] {{Wayback|url=http://www.computerhistory.org/fellowawards/hall/bios/Antony%2CHoare/ |date=20150403184558 }}, Computerhistory.org</ref><ref name="dblp">[https://dl.acm.org/author_page.cfm?id=81548013995 C. A. R. Hoare], ACM Digital Library</ref><ref name="microsoft">[http://web.archive.org/web/*/http://academic.research.microsoft.com/Author/2542366 List of publications], from [[Microsoft Academic Search]]</ref><ref>{{Cite journal | last = Shustek | first = L. | title = Interview: An interview with C.A.R. Hoare | doi = 10.1145/1467247.1467261 | journal = [[Communications of the ACM|Comm. ACM]] | volume = 52 | issue = 3 | pages = 38–41 | year = 2009 | pmid =  | pmc = }}</ref><ref name="monitors">{{Cite journal | doi = 10.1145/355620.361161| title = Monitors: An operating system structuring concept| journal = Communications of the ACM| volume = 17| issue = 10| pages = 549| year = 1974| last1 = Hoare | first1 = C. A. R.}}</ref>

==Referanser==
<references/>

{{stubb}}
{{Autoritetsdata}}

{{STANDARDSORTERING:Hoare, Tony}}
[[Kategori:Informatikere]]
[[Kategori:Personer fra Colombo]]
[[Kategori:Fødsler i 1934]]