Property |
Value |
dbo:abstract
|
- 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)
- 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)
|
dbo:birthDate
| |
dbo:birthPlace
| |
dbo:individualisedGnd
| |
dbo:isbn
| |
dbo:lccn
| |
dbo:originalTitle
|
- Communicating Sequential Processes (de)
- An Axiomatic Basis for Computer Programming (de)
- Assertions, A Personal Perspective (de)
- Proof of Correctness of Data Representations (de)
- Proof of a Program: FIND (de)
- Retrospective: An Axiomatic Basis for Computer Programming (de)
- Communicating Sequential Processes (de)
- An Axiomatic Basis for Computer Programming (de)
- Assertions, A Personal Perspective (de)
- Proof of Correctness of Data Representations (de)
- Proof of a Program: FIND (de)
- Retrospective: An Axiomatic Basis for Computer Programming (de)
|
dbo:thumbnail
| |
dbo:viafId
| |
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageRevisionID
| |
prop-de:autor
|
- C. A. R. Hoare
- Tony Hoare
|
prop-de:band
|
- Vol. 1
- Vol. 12
- Vol. 14
- Vol. 52
|
prop-de:doi
|
- 101007 (xsd:integer)
- 101145 (xsd:integer)
|
prop-de:herausgeber
|
- Manfred Broy, Ernst Denert
|
prop-de:issn
| |
prop-de:jahr
|
- 1969 (xsd:integer)
- 1971 (xsd:integer)
- 1972 (xsd:integer)
- 1985 (xsd:integer)
- 2002 (xsd:integer)
- 2009 (xsd:integer)
|
prop-de:kommentar
|
- Reprint im o.g. Buch Software Pioneers
- Die beiliegenden DVDs enthalten ein Video des Vortrags von Tony Hoare
|
prop-de:kurzbeschreibung
|
- britischer Informatiker, Entwickler des Quicksort-Algorithmus sowie des Hoarekalküls
|
prop-de:nummer
|
- 1 (xsd:integer)
- 4 (xsd:integer)
- 10 (xsd:integer)
|
prop-de:online
| |
prop-de:quelle
|
- Dankesrede für den Turingpreis 1980
|
prop-de:sammelwerk
| |
prop-de:text
|
- Kurze Biografie bei Microsoft
- Tony Hoare, Oxford University
|
prop-de:typ
| |
prop-de:url
| |
prop-de:wayback
|
- 20070808050016 (xsd:double)
- 20131017235604 (xsd:double)
|
prop-de:übersetzung
|
- Ich stelle fest, dass es zwei Wege gibt, ein Software-Design zu erstellen, entweder so einfach, dass es offensichtlich keine Schwächen hat, oder so kompliziert, dass es keine offensichtlichen Schwächen hat. Die erste Methode ist weitaus schwieriger.
|
dc:description
|
- britischer Informatiker, Entwickler des Quicksort-Algorithmus sowie des Hoarekalküls
|
dc:publisher
| |
dct:subject
| |
bibo:pages
|
- 271–281
- 30–32
- 39–45
- 576–580, 583
|
rdf:type
| |
rdfs:comment
|
- 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)
- 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)
|
rdfs:label
|
- Tony Hoare (de)
- Tony Hoare (de)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:depiction
| |
foaf:givenName
| |
foaf:isPrimaryTopicOf
| |
foaf:name
| |
foaf:surname
| |
is dbo:wikiPageDisambiguates
of | |
is dbo:wikiPageRedirects
of | |
is prop-de:autor
of | |
is foaf:primaryTopic
of | |