Sir Charles Antony Richard Hoare FRS FREng, also known as Tony Hoare or by his initials C. A. R. Hoare (/hɔːr/; born 11 January 1934) is a British computer...

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

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

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...

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"...

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...

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,...

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

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...

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...

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...

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...

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

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...

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

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

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...

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...

13 was excellent." 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...

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

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...

(compile-time) guarantee that a void call will never arise. In a 2009 talk, Tony Hoare traced the invention of the null pointer to his design of the ALGOL W...

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...

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

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

Science: Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare, Palgrave, pp. 187–214, arXiv:cs/0011047, Bibcode:2000cs.......11047K...

the Pi calculus (see section Milner, et al. below). The publication by Tony Hoare in 1978 of the original Communicating Sequential Processes was different...

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...