| Property |
Value |
| prop-ca:almaMater
| |
| prop-ca:any
|
- 1972 (xsd:integer)
- 1992 (xsd:integer)
- 1998 (xsd:integer)
|
| prop-ca:autor
|
- C. A. R. Hoare i He Jifeng
- C. A. R. Hoare i M. J. C. Gordon
- O.-J. Dahl, E. W. Dijkstra i C. A. R. Hoare
|
| prop-ca:conegutPer
| |
| prop-ca:editorial
| |
| prop-ca:estudiantsDoctorals
|
- * Andrew P. Black
* Stephen Brookes
* Cliff Jones
* Augusto Sampaio
* David Naumann
* Bill Roscoe
* William Stewart
|
| prop-ca:imatge
|
- Sir Tony Hoare IMG 5125.jpg
|
| prop-ca:isbn
| |
| prop-ca:llocNaixement
| |
| prop-ca:nacionalitat
| |
| prop-ca:nom
| |
| prop-ca:nomNaixement
|
- Charles Antony Richard Hoare
|
| prop-ca:oclc
|
- 23937947 (xsd:integer)
- 25712842 (xsd:integer)
- 38199961 (xsd:integer)
|
| prop-ca:ocupacio
| |
| prop-ca:organitzacio
| |
| prop-ca:peu
|
- Sir C. A. R. Hoare fent una conferència a Lausana el 20 de juny de 2011
|
| prop-ca:premis
| |
| prop-ca:residencia
| |
| prop-ca:tipusInfotaula
| |
| prop-ca:títol
|
- Mechanised Reasoning and Hardware Design
- Structured Programming
- Unifying Theories of Programming
|
| dbo:abstract
|
- 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 lògica de Hoare 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)
- 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 lògica de Hoare 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)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageRevisionID
| |
| dct:subject
| |
| rdfs:comment
|
- 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 lògica de Hoare 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)
- 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 lògica de Hoare 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)
|
| rdfs:label
|
- C. A. R. Hoare (ca)
- C. A. R. Hoare (ca)
|
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is foaf:primaryTopic
of | |
