Sir Charles Antony Richard Hoare (Tony Hoare or C. A. R. Hoare)/hɔːr/ hor FRS FREng (born 11 January 1934) is a British computer scientist who has made...

1969 by the British computer scientist and logician Tony Hoare, and subsequently refined by Hoare and other researchers. The original ideas were seeded...

sorting algorithm. Quicksort was developed by British computer scientist Tony Hoare in 1959 and published in 1961. It is still a commonly used algorithm for...

Albert Alfred Hoare, known as Bert Hoare (1874–1962), South Australian politician Des Hoare (born 1934), Australian cricketer Desmond Hoare (Royal Navy...

language. It is based on a proposal for ALGOL X by Niklaus Wirth and Tony Hoare as a successor to ALGOL 60. ALGOL W is a relatively simple upgrade of...

error. It is one of the most common types of software weaknesses, and Tony Hoare, who introduced the concept, has referred to it as a "billion dollar mistake"...

computers competing for access to tape drive peripherals. Soon after, Tony Hoare gave the problem its present form. Five philosophers dine together at...

made by Elliott Brothers in the United Kingdom. It was implemented by Tony Hoare and others. It differed slightly from the reference version of ALGOL,...

related quicksort sorting algorithm, it was developed by Tony Hoare, and thus is also known as Hoare's selection algorithm. Like quicksort, it is efficient...

developed by David May and others at Inmos (trademark INMOS), advised by Tony Hoare, as the native programming language for their transputer microprocessors...

and Clojure's core.async. CSP was first described in a 1978 article by Tony Hoare, but has since evolved substantially. CSP has been practically applied...

design principles: As the last paragraph of an article published in 1972, Tony Hoare has provided some general advice for any software project: “So my advice...

Hoare, FRS took over the leadership in 1977. The PRG ethos is summed up by the following quotation from Strachey, found and promulgated by Tony Hoare...

Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John McCarthy...

mathematical formal methods. Computer scientists Edsger W. Dijkstra and Tony Hoare regard instructions for computer programs as mathematical sentences and...

of the committee. ALGOL 60 inspired many languages that followed it. Tony Hoare remarked: "Here is a language so far ahead of its time that it was not...

Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John McCarthy...

prisoner who threatens suicide. 5 5 "Prisoner by Marriage" Paul Annett Tony Hoare 1 February 1974 (1974-02-01) Jane Brogan is transferred to Stone Park...

interpretation in the neighborhood of each command. In 1969, Tony Hoare published a paper on Hoare logic seeded by Floyd's ideas, now sometimes collectively...

heraldscotland.com. 29 May 2019. "Minder 035. Poetic Justice, Innit? - Written by Tony Hoare #3.11". minder.org. 1 December 2019. "Where the cast of Only Fools and...

the inaugural Edsger W. Dijkstra Memorial Lecture on 12 October 2010. Tony Hoare, Emeritus Professor at Oxford and Principal Researcher at Microsoft Research...

defined using BNF. ALGOL 60 inspired many languages that followed it. Tony Hoare remarked: "... it was not only an improvement on its predecessors but...

24 (2): 75–83. doi:10.1145/358549.358561. Cliff Jones. "C. Antony ("Tony") R. Hoare - A.M. Turing Award Laureate". Association for Computing Machinery...

into the Hindley–Milner type inference algorithm. In 1969, Tony Hoare introduces the Hoare logic, a form of axiomatic semantics. In 1969, William Alvin...

Henman (born 1974), tennis player Tom Hiddleston (born 1981), actor Sir Tony Hoare (born 1934), computer scientist Brent Hoberman, co-founder of lastminute...

Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John McCarthy...

needs a citation] ALGOL 60 inspired many languages that followed it. Tony Hoare remarked: "Here is a language so far ahead of its time that it was not...

languages. After his untimely death in 1975, Strachey was succeeded by Sir Tony Hoare as Head of the Programming Research Group at Oxford, starting in 1977...

Wide Web, Edgar F. Codd, inventor of the relational model of data, and Tony Hoare, programming languages pioneer and inventor of Quicksort. The university...

computer scientist Bobby Hersom was an employee from 1953 to 1954, and Sir Tony Hoare was an employee there from August 1960 to 1968. He wrote an ALGOL 60 compiler...