Hoare's most significant work has been in the following areas: his sorting algorithm ( Quicksort ), Hoare logic, the formal language Communicating Sequential Processes ( CSP ) used to specify the interactions between concurrent processes, structuring computer operating systems using the monitor concept, and the axiomatic specification of programming languages.

Examples of mathematical objects often used to model systems are: finite state machines, labelled transition systems, Petri nets, timed automata, hybrid automata, process algebra, formal semantics of programming languages such as operational semantics, denotational semantics, axiomatic semantics and Hoare logic.

#* Type theory ( used in type systems ), Formal semantics of programming languages, Hoare logic, and Logic programming ;

#* Program logics, such as Hoare logic, Hennessy-Milner logic, and dynamic logic are used to reason about program correctness

On 25 November 1981 a force of mercenaries led by " Mad " Mike Hoare attempted to take over the islands, but were discovered at the airport.

* November 25 – November 26 – A group of mercenaries led by Mike Hoare take over Mahe airport in the Seychelles in a coup attempt.

Hoare, FRS took over the leadership in 1977.

Churchill argued that some form of home defence force should be raised from members of the population who were ineligible to serve in the regular forces but wished to serve their country ; in a letter he wrote to Samuel Hoare, the Lord Privy Seal on 8 October 1939, Churchill called for a Home Guard force of 500, 000 men over the age of forty to be formed.

In 1840, over a century after the initial buildings were constructed, Charles Parker was hired Sir Hugh Hoare to make changes to the estate.

Hoare was consistently close to Chamberlain, on whose taking over from Baldwin, Hoare was moved to the Home Office.

It was developed by David May and others at INMOS, advised by Tony Hoare, as the native programming language for their transputer microprocessors, but implementations for other platforms are available.

In 1966 C. A. R. Hoare introduced the concept of record class construct, which Dahl and Nygaard extended with the concept of prefixing and other features to meet their requirements for a generalized process concept.

Hoare ) as well as language constructs needed for systems programming such as binary input-output, separate compilation, variables at absolute addresses, type converters and other features.

Sir Charles Antony Richard Hoare ( born 11 January 1934 ), commonly known as Tony Hoare or C. A. R. Hoare, is a British computer scientist best known for the development ( in 1960, at age 26 ) of Quicksort, a well-known sorting algorithm.

He also developed Hoare logic for verifying program correctness, and the formal language Communicating Sequential Processes ( CSP ) to specify the interactions of concurrent processes ( including the dining philosophers problem ) and the inspiration for the occam programming language.

Speaking at a conference in 2009, Hoare apologized for inventing the null reference:

South of these facilities is Clissold Park, an extensive swathe of parkland complete with a small menagerie, aviary and Clissold Mansion, a Grade II listed building, built for Jonathan Hoare, a local Quaker and brother of Samuel Hoare, in the 1790s.

Sir Samuel Hoare, a shareholder and former director, was a former British cabinet member and a friend of Leo Amery, the British secretary of state for the colonies.

Hoare logic ( also known as Floyd – Hoare logic or Hoare rules ) is a formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs.

Hoare logic provides axioms and inference rules for all the constructs of a simple imperative programming language.

In addition to the rules for the simple language in Hoare's original paper, rules for other language constructs have been developed since then by Hoare and many other researchers.

" Through Hoare, Shah was introduced to other Gurdjieffians, including John G. Bennett, a noted Gurdjieff student and founder of an " Institute for the Comparative Study of History, Philosophy and the Sciences " located at Coombe Springs, a estate in Kingston upon Thames, Surrey.

It was based on a proposal for ALGOL X by Niklaus Wirth and C. A. R. Hoare as a successor to ALGOL 60 in IFIP Working Group 2. 1.

Hoare: Quest for the true figure of the Earth: ideas and expeditions in four centuries of geodesy.

In April, Sir Samuel Hoare, who was once again Secretary of State for Air, unsuccessfully attempted to get Trenchard to come back as Chief of the Air Staff.

Conceptually, a join point exists where a precondition for a command in Hoare logic makes an assertion parametric upon the joint and several advice supplied by the different concerns at that point in a generalized abstract process, the unified thing composed from its concrete aspects being the pointcut.

* 1934 – Sir C. A. R. Hoare, British computer scientist

It was proposed in 1969 by the British computer scientist and logician C. A. R. Hoare, and subsequently refined by Hoare and other researchers.

Hoare logic is a specific formal system for reasoning rigorously about the correctness of computer programs.

Hoare, Butler Lampson, and Charles P. Thacker, Fields Medal winner Michael Freedman, MacArthur Fellow Jim Blinn, Dijkstra Prize winner Leslie Lamport and many other highly recognized experts in computer science, physics, and mathematics, including Turing Award winner Jim Gray up until his highly publicized disappearance while sailing.

For many years, the Department was led by Sir Tony Hoare, who initiated the computer science undergraduate course at Oxford University.

The group celebrated its 20th anniversary with a meeting at the Royal Society in London in 1998, with presentations by four eminent computer scientists, Mike Gordon, Tony Hoare, Robin Milner and Gordon Plotkin, all Fellows of the Royal Society.

Several breakthroughs in computer science were first reported in the journal, including the Quicksort algorithm proposed by C. A. R. Hoare.

Mike Hoare was employed to created the English-speaking 5 Commando ANC at Kamina, with the assistance of a Belgian officer, Colonel Frederic Vanderwalle, while 6 Commando ANC was French-speaking and originally under the command of a Belgian Army colonel, Lamouline.

Hoare and Ole-Johan Dahl.

was signed in London on 18 June 1935 by Ribbentrop and Sir Samuel Hoare, the new British Foreign Secretary.

The December 1935 Hoare – Laval Pact was an attempt by British Foreign Secretary Samuel Hoare and French Prime Minister Pierre Laval to end the conflict in Abyssinia by proposing to partition the country into an Italian sector and an Abyssinian sector.

Hoare and Laval were forced to resign, and the British and French governments dissociated themselves from the two men.

Such constructs were in part inherited or inspired from Simula 67, ALGOL 68, Niklaus Wirth's own ALGOL W and suggestions by C. A. R. Hoare.

Hoare.

At the same time Richard Colt Hoare began his activities, excavating some 379 barrows on Salisbury Plain before working with Cunnington and William Coxe on some 200 in the area around the Stones.

These issues were addressed during the late 1960s and early 1970s, with major contributions by Dijkstra, Robert W. Floyd, Tony Hoare, and David Gries.

* Use of assertions in program code as first suggested by Hoare logic.