| dbo:abstract
|
- توني هور (بالإنجليزية: 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)
- Charles Antony Richard Hoare (Colombo, Sri Lanka, 11 de enero de 1934), también conocido familiarmente como Tony Hoare, es un científico británico en computación. Conocido sobre todo por la invención, en 1960 de Quicksort, que es el algoritmo de ordenamiento más ampliamente utilizado en el mundo. También se le conoce por el desarrollo de la Lógica de Hoare, y por el lenguaje formal CSP (tercer trabajo más citado en computación de acuerdo con las estadísticas de Citeseer), utilizado para especificar interacciones entre procesos concurrentes que sirve de base para la definición del lenguaje de programación Occam. En 1956 consiguió el Título de Grado (equivalente a una carrera de cuatro años sin máster ni doctorado) en Cultura Clásica y Filosofía en la Universidad de Oxford. Le asombraba el poder de la lógica matemática para explicar la certeza aparente de los teoremas matemáticos.Sirvió a la Marina Real Británica (1956-1958) donde estudió ruso y posteriormente se graduó en la Universidad Estatal de Moscú para estudiar Teoría de la Probabilidad y hacer traducciones de lenguaje humano a lenguaje de máquina. Intentando facilitar la búsqueda de palabras en el diccionario descubrió el famoso algoritmo “Quicksort”. La función de este algoritmo es ordenar una lista de elementos del mismo tipo y está basado en la técnica “divide y vencerás”, de modo que convierte un problema complicado, en muchos sencillos, pero además es el más rápido conocido para hacer esta tarea. De hecho es, según las teorías de análisis de complejidad de algoritmos, el más rápido posible. Está matemáticamente demostrado que no se puede hacer un algoritmo de ordenación más rápido que Quicksort. [cita requerida] En 1960 volvió a Inglaterra, donde trabajó como programador para Elliott Brothers, una pequeña fábrica de ordenadores. Allí dirigió a un equipo de personas que diseñaron el primer compilador comercial para el lenguaje de programación “Algol 60”. Tras conseguir el rango de ingeniero jefe, coordinó un equipo mucho mayor para implementar un sistema operativo que resultó desastroso. Poco después entró en una empresa de hardware y arquitectura de software que tuvo que abandonar cuando esta se fusionó con su competencia. En 1968 consiguió una oportunidad para trabajar como profesor de Ciencias de la Computación en Queen’s University, en Belfast. El objetivo de sus investigaciones era entender por qué los sistemas operativos eran mucho más complicados que los compiladores, y ver si los avances en teoría de la programación podrían ayudar a solucionar problemas de concurrencia informática. Siempre fue consciente de que sería un período de investigación muy largo y que difícilmente conseguiría aplicaciones industriales para sus avances. En 1977 se trasladó a la Universidad de Oxford, y se comprometió a construir un Grupo de Investigación de Programación, fundado por Christopher Strachey. Durante más de treinta años como académico, Tony ha tenido siempre importantes contactos con la industria mediante consultas, colaboraciones de investigación, etc. Cuando llegó a la edad de jubilación para las investigaciones de Oxford, aceptó con ganas la oportunidad de volver a la industria como investigador senior para Microsoft en Cambridge, donde sigue trabajando actualmente. Entre sus muchos reconocimientos es doctor honoris causa por varias universidades, como la Universidad de Varsovia, la Universidad de Bath y la Universidad Complutense de Madrid. (es)
- 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)
- Sir Charles Antony Richard Hoare (Tony Hoare atau C.A.R. Hoare, lahir 11 Januari 1934) adalah seorang ilmuwan komputer dari Inggris, yang dikenal lewat algoritme Quicksort, salah satu algoritme sorting yang paling sering digunakan. Hoare juga dikenal lewat , dan juga bahasa formal (CSP) yang digunakan untuk menyatakan interaksi antar proses konkuren, dan juga menjadi inspirasi dalam pengembangan bahasa pemrograman . Hoare lahir di Kolombo, Sri Lanka, dan menyelesaikan pendidikan sarjana di bidang Classics dari Universitas Oxford pada tahun 1956. Ia kemudian meneruskan satu tahun di sana untuk belajar statistik level pascasarjana, dan kemudian melakukan wajib militer di Angkatan Laut Inggris (1956–1958), yang pada saat yang sama dia belajar bahasa Rusia, dan juga mempelajari penerjemahan bahasa menggunakan komputer di , Soviet Union di sekolah . Pada tahun 1960, setelah , Hoare keluar dari Uni Soviet dan bekerja di Elliott Brothers Ltd, sebuah perusahaan manufaktur kecil, dan di sana dia mengimplementasikan bahasa pemrograman 60 dan memulai mengembangkan algoritme. Hoare kemudian menjadi Profesor di bidang Computing Science di pada 1968, dan pada tahun 1977 kembali ke Oxford sebagai Professor of Computing dan memimpin di , setelah wafatnya . Saat ini dia menjabat sebagai di sana, dan juga sebagai peneliti senior di Cambridge, Inggris. Pada tahun 1980, Hoare mendapat penghargaan Turing Award dari ACM atas jasanya dalam memberikan kontribusi yang fundamental dalam pendefinisian dan perancangan bahasa pemrograman. (in)
- Charles Antony Richard Hoare (généralement appelé Tony Hoare ou C. A. R. Hoare), né le 11 janvier 1934 à Colombo au Ceylan (maintenant Sri Lanka), est un professeur émérite britannique du Oxford University Computing Laboratory. Il est connu pour avoir inventé en 1959/1960 l'algorithme de tri rapide encore très utilisé de nos jours quicksort. Hoare est le premier à avoir écrit un compilateur complet pour le langage Algol 60, y compris l'appel de procédures récursives ; il est à l'origine de la logique de Hoare qui sert à la vérification de la correction de programmes et du langage formel Communicating sequential processes (CSP) qui permet de spécifier l'interaction de processus concurrents (y compris le célèbre problème du dîner des philosophes) et qui a inspiré les langages de programmation Occam ou Ada ainsi que le concept de moniteur. (fr)
- 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. Hoare developed the sorting algorithm quicksort in 1959–1960. He developed Hoare logic, an axiomatic basis for verifying program correctness. In the semantics of concurrency, he introduced the formal language communicating sequential processes (CSP) to specify the interactions of concurrent processes, and along with Edsger Dijkstra, formulated the dining philosophers problem. He is also credited with development (and later criticism) of the null pointer, having introduced it in the ALGOL family of languages. Since 1977, he has held positions at the University of Oxford and Microsoft Research in Cambridge. (en)
- 찰스 앤터니 리처드 호어 기사, Kt(Sir Charles Antony Richard Hoare, 1934년 1월 11일 ~ )은 영국의 컴퓨터 과학자이다. 토니 호어(Tony Hoare)로 불린다. 가장 널리 쓰이는 정렬 알고리즘의 하나인 퀵 정렬을 고안해낸 것으로 유명하다. , 형식 언어의 한 종류로 병행 프로세스간 통신을 기술하는데 이용되는 커뮤니케이팅 시퀜셜 프로세스(CSP)의 개발, 프로그래밍 언어인 Occam에도 영향을 끼친 것으로 알려져 있다. 스리랑카의 콜롬보에서 영국인 부모로부터 태어났으며, 1956년 옥스포드 대학에서 고전문학 학사를 받았다. 그 후에 통계학을 배워 러시아에서 자연언어의 기계번역에 관하여 연구를 시작하였다. 1960년 라는 작은 컴퓨터 제조 회사에 취직하여, 알골 60 프로그램을 개발했으며 알고리즘의 개발에 본격적으로 착수하였다. 1968년에 퀸즈 대학 벨파스트 분교의 컴퓨터 과학 교수가 되었다. 1977년에는 옥스포드로 돌아와 교수직에 취임하였다. 현재는 명예교수로 영국 캐임브리지의 마이크로소프트 리서치의 시니어 연구원으로 있다. 1980년 프로그래밍 언어의 정의와 설계에 대한 공헌을 인정 받아 ACM 튜링 상을 수상하였다. (ko)
- チャールズ・アントニー・リチャード・ホーア（Charles Antony Richard Hoare、1934年1月11日 - ）は、イギリスの計算機科学者。通称はトニー・ホーア（Tony Hoare）またはC・A・R・ホーア。 クイックソート（一般的な場合には最も性能の良い実装ができるとされるソートアルゴリズム）の考案でも知られるが、専門的な業績としては、ホーア論理や、並行プロセスを形式記述するCommunicating Sequential Processes（CSP）などがある。CSPはプログラミング言語Occamに示唆を与えた。 (ja)
- Charles Antony Richard Hoare (Tony Hoare, ur. 11 stycznia 1934 w Kolombo, Sri Lanka) – brytyjski informatyk, znany jako twórca algorytmu sortowania quicksort. Stworzył także logikę Hoare’a służącą do weryfikowania poprawności programów oraz stworzył język formalny Communicating Sequential Processes (CSP) używany do specyfikowania interakcji współbieżnych procesów (zob. problem ucztujących filozofów). Przyczynił się także do powstania języka programowania Occam. W 1980 roku, w dowód uznania za wkład w rozwój języków programowania otrzymał nagrodę Turinga. Laureat Nagrody Kioto w dziedznie zaawansowanych technologii w 2000 roku. (pl)
- Tony Hoare (o Charles Antony Richard Hoare) (Colombo, 11 gennaio 1934) è un informatico britannico. Ha trovato larga fama grazie alla scoperta, nel 1960, del quicksort, l'algoritmo di ordinamento più usato al mondo. Egli ha anche sviluppato le logiche di Hoare, atte a verificare la correttezza dei programmi, e il linguaggio formale (CSP) usato per specificare interazioni tra processi concorrenti. (it)
- Charles Anthony Richard Hoare (Colombo (toenmalig Ceylon), 11 januari 1934) is een Brits informaticus wiens naam altijd verbonden zal blijven aan het door hem uitgevonden sorteeralgoritme quicksort. Hij is "James Martin Professor of Computing" aan de Universiteit van Oxford, met emeritaat. In 2000 werd Hoare geridderd en mag zich sindsdien Sir Tony Hoare noemen. Hoare is ook bekend van de zogenaamde Hoaretriples. Dit is een notatie {P} S {Q}, waarin P en Q formeel-logische uitdrukkingen zijn, en S staat voor een algoritme of computerprogramma. Deze schrijfwijze betekent: Als aanvankelijk P waar is, en S wordt uitgevoerd, is daarna Q waar. Hierop kan logica toegepast worden, en deze wordt gebruikt om correctheid van computerprogramma's te bewijzen. In 1980 ontving hij de Turing Award van de Association for Computing Machinery: For his fundamental contributions to the definition and design of programming languages. — Association for Computing Machinery In 1985 ontving hij de Faraday Medal.In 1998 hield hij in Den Haag de NWO-Huygens lezing; 'The science of computing and the engineering of software'. Hij beschouwt zijn invoering van de null-referentie in ALGOL W in 1965 als zijn grootste fout: "I call it my billion-dollar mistake." (nl)
- Charles Antony Richard Hoare, também conhecido como Tony Hoare ou C. A. R. Hoare (Colombo, 11 de janeiro de 1934), é um cientista da computação britânico. Conhecido pelo desenvolvimento do Quicksort em 1960, o algoritmo de ordenação mais utilizado no mundo, e muito provavelmente o algoritmo mais usado dentre todos os tipos existentes. Ele também desenvolveu a Lógica de Hoare e a linguagem formal CSP, usada para especificar interações entre processos concorrentes e que serviu de inspiração para a linguagem de programação Occam. Nascido em Colombo, Sri Lanka, de pais nascidos no Reino Unido, graduou-se Bacharel pela Universidade de Oxford em 1956. Ele permaneceu ainda um ano em Oxford estudando Estatística em nível de graduação, e em seguida estudou tradução computacional de linguagens humanas na Universidade de Moscou, na Rússia. Em 1960 começou a trabalhar na , Ltd, uma pequena firma de desenvolvimento de programas, onde implementou a ALGOL 60 e começou a trabalhar inicialmente desenvolvendo algoritmos. Tornou-se professor de Ciência da Computação na Queen's University, em Belfast (Irlanda do Norte) em 1968, e em 1977 mudou-se para Oxford, também para trabalhar como professor. Hoje ocupa o cargo de Professor lá, e também é um dos pesquisadores mais antigos do centro de pesquisas da Microsoft em Cambridge, na Inglaterra. Recebeu o Prêmio Turing da ACM de 1980, por "suas contribuições fundamentais para a definição e projeto de linguagens de programação". O prêmio lhe foi entregue na Conferência Anual da ACM em Nashville, Tennessee, em 27 de outubro de 1980, por , presidente do comitê de premiação. Em 1985 foi eleito fellow da Royal Society. Em 2005 foi eleito também fellow da Royal Academy of Engineering. (pt)
- Сэр Чарльз Э́нтони Ри́чард Хо́ар (англ. Charles Antony Richard Hoare или Tony Hoare или C.A.R. Hoare; род. 11 января 1934, Коломбо, Цейлон, Британская империя, ныне Шри-Ланка) — английский учёный, специализирующийся в области информатики и вычислительной техники. Наиболее известен как разработчик алгоритма «быстрой сортировки» (1960), на сегодняшний день являющегося наиболее популярным алгоритмом сортировки. Другие известные результаты его работы: язык Z спецификаций и параллельная модель взаимодействия последовательных процессов (CSP, Communicating Sequential Process). В числе его заслуг — разработка логики Хоара (англ. Hoare Logic), научной основы для конструирования корректных программ, используемой для определения и разработки языков программирования. Хоар создал ряд трудов по созданию спецификаций, проектированию, реализации и сопровождению программ, показывающих важность научных результатов для увеличения производительности компьютеров и повышения надежности программного обеспечения. (ru)
- 查爾斯·安東尼·理查德·霍爾爵士（英語：Sir Charles Antony Richard Hoare，縮寫為C. A. R. Hoare，1934年1月11日－），暱稱為東尼·霍爾（英語：Tony Hoare，一譯托尼·霍爾），生於大英帝國錫蘭可倫坡（今斯里蘭卡），英國計算機科學家，圖靈獎得主。他設計了快速排序演算法、霍尔逻辑、通信顺序进程。 (zh)
- Сер Чарлз Ентоні Річард Гоар (англ. Charles Antony Richard Hoare або Tony Hoare або C.A.R. Hoare; нар. 11 січня 1934, Коломбо, Цейлон, Британська імперія, сьогодні Шрі-Ланка) — англійський вчений, що працює в галузі інформатики та обчислювальної техніки. Найбільш відомий як розробник алгоритму «швидкого сортування» (англ. «quick sort»). Інші відомі результати його праці: мова Z специфікацій та паралельна модель взаємодії послідовних процесів (CSP, Communicating Sequential Processes). Серед його досягнень — розробка логіки Гоара, наукової основи для конструювання коректних програм, яка використовується для визначення та розробки мов програмування. Гоар написав низку праць зі створення специфікацій, проектування, реалізації та супроводу програм, що висвітлюють важливість наукових досліджень для збільшення продуктивності комп'ютерів та збільшення надійності програмного забезпечення. (uk)
|
| 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)
- 찰스 앤터니 리처드 호어 기사, Kt(Sir Charles Antony Richard Hoare, 1934년 1월 11일 ~ )은 영국의 컴퓨터 과학자이다. 토니 호어(Tony Hoare)로 불린다. 가장 널리 쓰이는 정렬 알고리즘의 하나인 퀵 정렬을 고안해낸 것으로 유명하다. , 형식 언어의 한 종류로 병행 프로세스간 통신을 기술하는데 이용되는 커뮤니케이팅 시퀜셜 프로세스(CSP)의 개발, 프로그래밍 언어인 Occam에도 영향을 끼친 것으로 알려져 있다. 스리랑카의 콜롬보에서 영국인 부모로부터 태어났으며, 1956년 옥스포드 대학에서 고전문학 학사를 받았다. 그 후에 통계학을 배워 러시아에서 자연언어의 기계번역에 관하여 연구를 시작하였다. 1960년 라는 작은 컴퓨터 제조 회사에 취직하여, 알골 60 프로그램을 개발했으며 알고리즘의 개발에 본격적으로 착수하였다. 1968년에 퀸즈 대학 벨파스트 분교의 컴퓨터 과학 교수가 되었다. 1977년에는 옥스포드로 돌아와 교수직에 취임하였다. 현재는 명예교수로 영국 캐임브리지의 마이크로소프트 리서치의 시니어 연구원으로 있다. 1980년 프로그래밍 언어의 정의와 설계에 대한 공헌을 인정 받아 ACM 튜링 상을 수상하였다. (ko)
- チャールズ・アントニー・リチャード・ホーア（Charles Antony Richard Hoare、1934年1月11日 - ）は、イギリスの計算機科学者。通称はトニー・ホーア（Tony Hoare）またはC・A・R・ホーア。 クイックソート（一般的な場合には最も性能の良い実装ができるとされるソートアルゴリズム）の考案でも知られるが、専門的な業績としては、ホーア論理や、並行プロセスを形式記述するCommunicating Sequential Processes（CSP）などがある。CSPはプログラミング言語Occamに示唆を与えた。 (ja)
- Tony Hoare (o Charles Antony Richard Hoare) (Colombo, 11 gennaio 1934) è un informatico britannico. Ha trovato larga fama grazie alla scoperta, nel 1960, del quicksort, l'algoritmo di ordinamento più usato al mondo. Egli ha anche sviluppato le logiche di Hoare, atte a verificare la correttezza dei programmi, e il linguaggio formale (CSP) usato per specificare interazioni tra processi concorrenti. (it)
- 查爾斯·安東尼·理查德·霍爾爵士（英語：Sir Charles Antony Richard Hoare，縮寫為C. A. R. Hoare，1934年1月11日－），暱稱為東尼·霍爾（英語：Tony Hoare，一譯托尼·霍爾），生於大英帝國錫蘭可倫坡（今斯里蘭卡），英國計算機科學家，圖靈獎得主。他設計了快速排序演算法、霍尔逻辑、通信顺序进程。 (zh)
- Charles Antony Richard Hoare (Colombo, Sri Lanka, 11 de enero de 1934), también conocido familiarmente como Tony Hoare, es un científico británico en computación. Conocido sobre todo por la invención, en 1960 de Quicksort, que es el algoritmo de ordenamiento más ampliamente utilizado en el mundo. También se le conoce por el desarrollo de la Lógica de Hoare, y por el lenguaje formal CSP (tercer trabajo más citado en computación de acuerdo con las estadísticas de Citeseer), utilizado para especificar interacciones entre procesos concurrentes que sirve de base para la definición del lenguaje de programación Occam. (es)
- Charles Antony Richard Hoare (généralement appelé Tony Hoare ou C. A. R. Hoare), né le 11 janvier 1934 à Colombo au Ceylan (maintenant Sri Lanka), est un professeur émérite britannique du Oxford University Computing Laboratory. (fr)
- Sir Charles Antony Richard Hoare (Tony Hoare atau C.A.R. Hoare, lahir 11 Januari 1934) adalah seorang ilmuwan komputer dari Inggris, yang dikenal lewat algoritme Quicksort, salah satu algoritme sorting yang paling sering digunakan. Hoare juga dikenal lewat , dan juga bahasa formal (CSP) yang digunakan untuk menyatakan interaksi antar proses konkuren, dan juga menjadi inspirasi dalam pengembangan bahasa pemrograman . Pada tahun 1980, Hoare mendapat penghargaan Turing Award dari ACM atas jasanya dalam memberikan kontribusi yang fundamental dalam pendefinisian dan perancangan bahasa pemrograman. (in)
- 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. (en)
- Charles Anthony Richard Hoare (Colombo (toenmalig Ceylon), 11 januari 1934) is een Brits informaticus wiens naam altijd verbonden zal blijven aan het door hem uitgevonden sorteeralgoritme quicksort. Hij is "James Martin Professor of Computing" aan de Universiteit van Oxford, met emeritaat. In 2000 werd Hoare geridderd en mag zich sindsdien Sir Tony Hoare noemen. In 1980 ontving hij de Turing Award van de Association for Computing Machinery: For his fundamental contributions to the definition and design of programming languages. — Association for Computing Machinery (nl)
- Charles Antony Richard Hoare (Tony Hoare, ur. 11 stycznia 1934 w Kolombo, Sri Lanka) – brytyjski informatyk, znany jako twórca algorytmu sortowania quicksort. Stworzył także logikę Hoare’a służącą do weryfikowania poprawności programów oraz stworzył język formalny Communicating Sequential Processes (CSP) używany do specyfikowania interakcji współbieżnych procesów (zob. problem ucztujących filozofów). Przyczynił się także do powstania języka programowania Occam. (pl)
- Charles Antony Richard Hoare, também conhecido como Tony Hoare ou C. A. R. Hoare (Colombo, 11 de janeiro de 1934), é um cientista da computação britânico. Conhecido pelo desenvolvimento do Quicksort em 1960, o algoritmo de ordenação mais utilizado no mundo, e muito provavelmente o algoritmo mais usado dentre todos os tipos existentes. Ele também desenvolveu a Lógica de Hoare e a linguagem formal CSP, usada para especificar interações entre processos concorrentes e que serviu de inspiração para a linguagem de programação Occam. (pt)
- Сэр Чарльз Э́нтони Ри́чард Хо́ар (англ. Charles Antony Richard Hoare или Tony Hoare или C.A.R. Hoare; род. 11 января 1934, Коломбо, Цейлон, Британская империя, ныне Шри-Ланка) — английский учёный, специализирующийся в области информатики и вычислительной техники. Наиболее известен как разработчик алгоритма «быстрой сортировки» (1960), на сегодняшний день являющегося наиболее популярным алгоритмом сортировки. (ru)
- Сер Чарлз Ентоні Річард Гоар (англ. Charles Antony Richard Hoare або Tony Hoare або C.A.R. Hoare; нар. 11 січня 1934, Коломбо, Цейлон, Британська імперія, сьогодні Шрі-Ланка) — англійський вчений, що працює в галузі інформатики та обчислювальної техніки. Найбільш відомий як розробник алгоритму «швидкого сортування» (англ. «quick sort»). (uk)
|
