About: Tony Hoare     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : umbel-rc:Scientist, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FTony_Hoare

Sir Charles Antony Richard Hoare (Tony Hoare or C. A. R. Hoare) FRS FREng (born 11 January 1934) is a British computer scientist who has made foundational contributions to programming languages, algorithms, operating systems, formal verification, and concurrent computing. His work earned him the Turing Award, usually regarded as the highest distinction in computer science, in 1980.

AttributesValues
rdf:type
rdfs:label
  • Tony Hoare (en)
  • توني هور (ar)
  • C. A. R. Hoare (ca)
  • C. A. R. Hoare (cs)
  • Tony Hoare (de)
  • Τόνι Χορ (el)
  • Tony Hoare (eo)
  • C. A. R. Hoare (es)
  • Tony Hoare (eu)
  • C.A.R. Hoare (in)
  • Charles Antony Richard Hoare (fr)
  • Tony Hoare (it)
  • アントニー・ホーア (ja)
  • 토니 호어 (ko)
  • Tony Hoare (nl)
  • C.A.R. Hoare (pl)
  • Charles Antony Richard Hoare (pt)
  • Хоар, Чарльз Энтони Ричард (ru)
  • Тоні Гоар (uk)
  • 東尼·霍爾 (zh)
rdfs:comment
  • توني هور (بالإنجليزية: Tony Hoare)‏ عالم حاسوب بريطاني بارز في مجال علم الحاسوب، فاز بجائزة تورنغ في عام 1980 عن مساهماته في لغات البرمجة. (ar)
  • Sir Charles Antony Richard Hoare znám též jako Tony Hoare nebo C. A. R. Hoare (* 11. ledna 1934 Colombo) je britský počítačový vědec, který se proslavil zejména vyvinutím řadicího algoritmu zvaný rychlé řazení. (cs)
  • Sir Charles Antony Richard Hoare FRS FREng (nascut l'11 de gener de 1934), conegut normalment com a Tony Hoare o C. A. R. Hoare, és un informàtic britànic. Va desenvolupar l'algorisme d'ordenació quicksort els anys 1959/1960. També va desenvolupar la per verificar la correctesa dels programes, i el llenguatge formal "processos comunicants seqüencials" (CSP) per especificar les interaccions de processos concurrents (inclòs el problema del sopar de filòsofs) i va inspirar el llenguatge de programació occam. (ca)
  • Ο Τόνι Χορ (αγγλική γλώσσα: Tony Hoare. Ολόκληρο το ονοματεπώνυμό του: Sir Charles Antony Richard Hoare) είναι Βρετανός επιστήμονας υπολογιστών, ο οποίος συνέβαλε στον ορισμό και στον σχεδιασμό των γλωσσών προγραμματισμού. (el)
  • Sir Charles Antony Richard Hoare (* 11. Januar 1934 in Colombo, Sri Lanka), besser bekannt als Tony Hoare oder C.A.R. Hoare, ist ein britischer Informatiker. Hoare erlangte hohes Ansehen durch die Entwicklung des Quicksort-Algorithmus sowie des Hoare-Kalküls, durch den sich die Korrektheit von Algorithmen beweisen lässt. Außerdem entwickelte Hoare die Prozessalgebra Communicating Sequential Processes (CSP), die zum Beispiel die Entwicklung der Programmiersprachen Ada, Occam und Go beeinflusst hat. (de)
  • Tony Hoare (Kolonbo, 1934ko urtarrilaren 11), Britainia Handiko informatikaria da, 1959-1960 urteetan quicksort izeneko ordenazio-algoritmoa garatu zuena. Sir Charles Antony Richard Hoare edo C. A. R. Hoare izenekin ere ezaguna da. Horretaz gain, programen zuzentasuna egiaztatzeko definitu zuen; prozesu konkurrenteen elkarrekintzak espezifikatzeko izeneko komunikazio-lengoaia garatu zuen, ebazteko erabil daitekeena. programazio-lengoaiaren inspiratzaile ere izan zen. (eu)
Faceted Search & Find service v1.17_git139 as of Feb 29 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (61 GB total memory, 49 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software