Faster access than browser!
88 relations: Academic Press, ALGOL, ALGOL W, Algorithm, Andrey Kolmogorov, Athens University of Economics and Business, Augusto Sampaio, Autocode, Axiom, Bill Roscoe, British Ceylon, British Council, British Library, Cambridge, Canterbury, Charles Babbage Institute, Christopher Strachey, Civil service, Cliff Jones (computer scientist), Colombo, Communicating sequential processes, Communications of the ACM, Complutense University of Madrid, Computer Conservation Society, Computer History Museum, Computer Pioneer Award, Computer science, Concurrency (computer science), Department of Computer Science, University of Oxford, Dining philosophers problem, Distinguished Fellow of the British Computer Society, Dragon School, Edsger W. Dijkstra, Elliott Brothers (computer company), England, Faraday Medal, Fellow, Fellow of the Royal Society, Ferranti Mercury, Harry H. Goode Memorial Award, He Jifeng, Heriot-Watt University, Hoare logic, IEEE John von Neumann Medal, Information science, Kellogg College, Oxford, Knight Bachelor, Kyoto Prize, Leslie Fox, Literae Humaniores, ..., Machine translation, Merton College, Oxford, Michael J. C. Gordon, Microsoft Research, Monitor (synchronization), Moscow State University, Mountain View, California, Nashville, Tennessee, Null pointer, Occam (programming language), Ole-Johan Dahl, Operating system, Oxford, Parallel computing, Prentice Hall, Professor, Programming language, Programming Research Group, Queen's University Belfast, Quickselect, Quicksort, Royal Academy of Engineering, Royal Navy, Royal Society, SIGPLAN, Sorting algorithm, Springer Science+Business Media, Sri Lanka, Structured programming, Technical University of Munich, The King's School, Canterbury, The Times, Turing Award, Unifying Theories of Programming, University of Bath, University of Oxford, University of Warsaw, Z notation. Expand index (38 more) »
Academic Press
Academic Press is an academic book publisher.
New!!: Tony Hoare and Academic Press · See more »
ALGOL
ALGOL (short for "Algorithmic Language") is a family of imperative computer programming languages, originally developed in the mid-1950s, which greatly influenced many other languages and was the standard method for algorithm description used by the ACM in textbooks and academic sources for more than thirty years.
New!!: Tony Hoare and ALGOL · See more »
ALGOL W
ALGOL W is a programming language.
New!!: Tony Hoare and ALGOL W · See more »
Algorithm
In mathematics and computer science, an algorithm is an unambiguous specification of how to solve a class of problems.
New!!: Tony Hoare and Algorithm · See more »
Andrey Kolmogorov
Andrey Nikolaevich Kolmogorov (a, 25 April 1903 – 20 October 1987) was a 20th-century Soviet mathematician who made significant contributions to the mathematics of probability theory, topology, intuitionistic logic, turbulence, classical mechanics, algorithmic information theory and computational complexity.
New!!: Tony Hoare and Andrey Kolmogorov · See more »
Athens University of Economics and Business
Athens University of Economics and Business (AUEB; Οικονομικό Πανεπιστήμιο Αθηνών, Oikonomiko Panepistimio Athinon, abbrev. ΟΠΑ, OPA) was founded in 1920 in Athens, Greece.
New!!: Tony Hoare and Athens University of Economics and Business · See more »
Augusto Sampaio
Augusto Cezar Alves Sampaio is a Brazilian computer scientist who works with formal methods and language semantics.
New!!: Tony Hoare and Augusto Sampaio · See more »
Autocode
Autocode is the name of a family of "simplified coding systems", later called programming languages, devised in the 1950s and 1960s for a series of digital computers at the Universities of Manchester, Cambridge and London.
New!!: Tony Hoare and Autocode · See more »
Axiom
An axiom or postulate is a statement that is taken to be true, to serve as a premise or starting point for further reasoning and arguments.
New!!: Tony Hoare and Axiom · See more »
Bill Roscoe
Andrew William "Bill" Roscoe is a Scottish computer scientist.
New!!: Tony Hoare and Bill Roscoe · See more »
British Ceylon
Ceylon (Sinhala: බ්රිතාන්ය ලංකාව, Brithānya Laṃkāva; Tamil: பிரித்தானிய இலங்கை, Birithaniya Ilangai) was a British Crown colony between 1815 and 1948.
New!!: Tony Hoare and British Ceylon · See more »
British Council
The British Council is a British organisation specialising in international cultural and educational opportunities.
New!!: Tony Hoare and British Council · See more »
British Library
The British Library is the national library of the United Kingdom and the largest national library in the world by number of items catalogued.
New!!: Tony Hoare and British Library · See more »
Cambridge
Cambridge is a university city and the county town of Cambridgeshire, England, on the River Cam approximately north of London.
New!!: Tony Hoare and Cambridge · See more »
Canterbury
Canterbury is a historic English cathedral city and UNESCO World Heritage Site, which lies at the heart of the City of Canterbury, a local government district of Kent, England.
New!!: Tony Hoare and Canterbury · See more »
Charles Babbage Institute
The Charles Babbage Institute is a research center at the University of Minnesota specializing in the history of information technology, particularly the history of digital computing, programming/software, and computer networking since 1935.
New!!: Tony Hoare and Charles Babbage Institute · See more »
Christopher Strachey
Christopher S. Strachey (16 November 1916 – 18 May 1975) was a British computer scientist.
New!!: Tony Hoare and Christopher Strachey · See more »
Civil service
The civil service is independent of government and composed mainly of career bureaucrats hired on professional merit rather than appointed or elected, whose institutional tenure typically survives transitions of political leadership.
New!!: Tony Hoare and Civil service · See more »
Cliff Jones (computer scientist)
Clifford "Cliff" B. Jones (born 1 June 1944) is a British computer scientist, specializing in research into formal methods.
New!!: Tony Hoare and Cliff Jones (computer scientist) · See more »
Colombo
Colombo (translit,; translit) is the commercial capital and largest city of Sri Lanka.
New!!: Tony Hoare and Colombo · See more »
Communicating sequential processes
In computer science, communicating sequential processes (CSP) is a formal language for describing patterns of interaction in concurrent systems.
New!!: Tony Hoare and Communicating sequential processes · See more »
Communications of the ACM
Communications of the ACM is the monthly journal of the Association for Computing Machinery (ACM).
New!!: Tony Hoare and Communications of the ACM · See more »
Complutense University of Madrid
The Complutense University of Madrid (Universidad Complutense de Madrid or Universidad de Madrid, Universitas Complutensis) is a public research university located in Madrid, and one of the oldest universities in the world.
New!!: Tony Hoare and Complutense University of Madrid · See more »
Computer Conservation Society
The Computer Conservation Society (CCS) is a British organisation, founded in 1989.
New!!: Tony Hoare and Computer Conservation Society · See more »
Computer History Museum
The Computer History Museum (CHM) is a museum established in 1996 in Mountain View, California, US.
New!!: Tony Hoare and Computer History Museum · See more »
Computer Pioneer Award
The Computer Pioneer Award was established in 1981 by the Board of Governors of the IEEE Computer Society to recognize and honor the vision of those people whose efforts resulted in the creation and continued vitality of the computer industry.
New!!: Tony Hoare and Computer Pioneer Award · See more »
Computer science
Computer science deals with the theoretical foundations of information and computation, together with practical techniques for the implementation and application of these foundations.
New!!: Tony Hoare and Computer science · See more »
Concurrency (computer science)
In computer science, concurrency refers to the ability of different parts or units of a program, algorithm, or problem to be executed out-of-order or in partial order, without affecting the final outcome.
New!!: Tony Hoare and Concurrency (computer science) · See more »
Department of Computer Science, University of Oxford
The Department of Computer Science is the computer science department of the University of Oxford, England.
New!!: Tony Hoare and Department of Computer Science, University of Oxford · See more »
Dining philosophers problem
In computer science, the dining philosophers problem is an example problem often used in concurrent algorithm design to illustrate synchronization issues and techniques for resolving them.
New!!: Tony Hoare and Dining philosophers problem · See more »
Distinguished Fellow of the British Computer Society
Distinguished Fellow of the British Computer Society (DFBCS) is an award and fellowship granted by the British Computer Society for members of the computing profession who have made an outstanding contribution to the advancement of computing.
New!!: Tony Hoare and Distinguished Fellow of the British Computer Society · See more »
Dragon School
The Dragon School is one school on two sites based in Oxford, England, U.K..
New!!: Tony Hoare and Dragon School · See more »
Edsger W. Dijkstra
Edsger Wybe Dijkstra (11 May 1930 – 6 August 2002) was a Dutch systems scientist, programmer, software engineer, science essayist, and early pioneer in computing science.
New!!: Tony Hoare and Edsger W. Dijkstra · See more »
Elliott Brothers (computer company)
Elliott Brothers (London) Ltd was an early computer company of the 1950s–60s in the United Kingdom.
New!!: Tony Hoare and Elliott Brothers (computer company) · See more »
England
England is a country that is part of the United Kingdom.
New!!: Tony Hoare and England · See more »
Faraday Medal
The Faraday Medal is the top medal awarded by the Institution of Engineering and Technology (IET) (previously called the Institution of Electrical Engineers).
New!!: Tony Hoare and Faraday Medal · See more »
Fellow
A fellow is a member of a group (or fellowship) that work together in pursuing mutual knowledge or practice.
New!!: Tony Hoare and Fellow · See more »
Fellow of the Royal Society
Fellowship of the Royal Society (FRS, ForMemRS and HonFRS) is an award granted to individuals that the Royal Society judges to have made a "substantial contribution to the improvement of natural knowledge, including mathematics, engineering science and medical science".
New!!: Tony Hoare and Fellow of the Royal Society · See more »
Ferranti Mercury
The Mercury was an early commercial computer from the mid-1950s built by Ferranti.
New!!: Tony Hoare and Ferranti Mercury · See more »
Harry H. Goode Memorial Award
The Harry H. Goode Memorial Award is an IEEE Computer Society annual awards in honor of Harry H. Goode for achievements in the information processing field which are considered either a single contribution of theory, design, or technique of outstanding significance, or the accumulation of important contributions on theory or practice over an extended time period, the total of which represent an outstanding contribution.
New!!: Tony Hoare and Harry H. Goode Memorial Award · See more »
He Jifeng
He Jifeng (born August 1943) is a Chinese computer scientist.
New!!: Tony Hoare and He Jifeng · See more »
Heriot-Watt University
Heriot-Watt University is a public university based in Edinburgh, Scotland.
New!!: Tony Hoare and Heriot-Watt University · See more »
Hoare logic
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.
New!!: Tony Hoare and Hoare logic · See more »
IEEE John von Neumann Medal
The IEEE John von Neumann Medal was established by the IEEE Board of Directors in 1990 and may be presented annually "for outstanding achievements in computer-related science and technology." The achievements may be theoretical, technological, or entrepreneurial, and need not have been made immediately prior to the date of the award.
New!!: Tony Hoare and IEEE John von Neumann Medal · See more »
Information science
Information science is a field primarily concerned with the analysis, collection, classification, manipulation, storage, retrieval, movement, dissemination, and protection of information.
New!!: Tony Hoare and Information science · See more »
Kellogg College, Oxford
Kellogg College is a graduate-only constituent college of the University of Oxford in England.
New!!: Tony Hoare and Kellogg College, Oxford · See more »
Knight Bachelor
The dignity of Knight Bachelor is the most basic and lowest rank of a man who has been knighted by the monarch but not as a member of one of the organised orders of chivalry; it is a part of the British honours system.
New!!: Tony Hoare and Knight Bachelor · See more »
Kyoto Prize
The is Japan's highest private award for global achievement.
New!!: Tony Hoare and Kyoto Prize · See more »
Leslie Fox
Leslie Fox (30 September 1918 – 1 August 1992) was a British mathematician noted for his contribution to numerical analysis.
New!!: Tony Hoare and Leslie Fox · See more »
Literae Humaniores
Literae Humaniores is the name given to an undergraduate course focused on Classics (Ancient Rome, Ancient Greece, Latin, ancient Greek and philosophy) at the University of Oxford and some other universities.
New!!: Tony Hoare and Literae Humaniores · See more »
Machine translation
Machine translation, sometimes referred to by the abbreviation MT (not to be confused with computer-aided translation, machine-aided human translation (MAHT) or interactive translation) is a sub-field of computational linguistics that investigates the use of software to translate text or speech from one language to another.
New!!: Tony Hoare and Machine translation · See more »
Merton College, Oxford
Merton College (in full: The House or College of Scholars of Merton in the University of Oxford) is one of the constituent colleges of the University of Oxford in England.
New!!: Tony Hoare and Merton College, Oxford · See more »
Michael J. C. Gordon
Michael John Caldwell "Mike" Gordon FRS (28 February 1948 – 22 August 2017) was a leading British computer scientist.
New!!: Tony Hoare and Michael J. C. Gordon · See more »
Microsoft Research
Microsoft Research is the research subsidiary of Microsoft.
New!!: Tony Hoare and Microsoft Research · See more »
Monitor (synchronization)
In concurrent programming, a monitor is a synchronization construct that allows threads to have both mutual exclusion and the ability to wait (block) for a certain condition to become true.
New!!: Tony Hoare and Monitor (synchronization) · See more »
Moscow State University
Lomonosov Moscow State University (MSU; Московский государственный университет имени М. В. Ломоносова, often abbreviated МГУ) is a coeducational and public research university located in Moscow, Russia.
New!!: Tony Hoare and Moscow State University · See more »
Mountain View, California
Mountain View is a city located in Santa Clara County, California, United States, named for its views of the Santa Cruz Mountains.
New!!: Tony Hoare and Mountain View, California · See more »
Nashville, Tennessee
Nashville is the capital and most populous city of the U.S. state of Tennessee and the seat of Davidson County.
New!!: Tony Hoare and Nashville, Tennessee · See more »
Null pointer
In computing, a null pointer has a value reserved for indicating that the pointer does not refer to a valid object.
New!!: Tony Hoare and Null pointer · See more »
Occam (programming language)
occam is a programming language which is concurrent and builds on the communicating sequential processes (CSP) process algebra, Inmos document 72 occ 45 03 and shares many of its features.
New!!: Tony Hoare and Occam (programming language) · See more »
Ole-Johan Dahl
Ole-Johan Dahl (12 October 1931 – 29 June 2002) was a Norwegian computer scientist.
New!!: Tony Hoare and Ole-Johan Dahl · See more »
Operating system
An operating system (OS) is system software that manages computer hardware and software resources and provides common services for computer programs.
New!!: Tony Hoare and Operating system · See more »
Oxford
Oxford is a city in the South East region of England and the county town of Oxfordshire.
New!!: Tony Hoare and Oxford · See more »
Parallel computing
Parallel computing is a type of computation in which many calculations or the execution of processes are carried out concurrently.
New!!: Tony Hoare and Parallel computing · See more »
Prentice Hall
Prentice Hall is a major educational publisher owned by Pearson plc.
New!!: Tony Hoare and Prentice Hall · See more »
Professor
Professor (commonly abbreviated as Prof.) is an academic rank at universities and other post-secondary education and research institutions in most countries.
New!!: Tony Hoare and Professor · See more »
Programming language
A programming language is a formal language that specifies a set of instructions that can be used to produce various kinds of output.
New!!: Tony Hoare and Programming language · See more »
Programming Research Group
The Programming Research Group (PRG) was part of the Oxford University Computing Laboratory (OUCL) in Oxford, England, until OUCL became the Department of Computer Science in 2011.
New!!: Tony Hoare and Programming Research Group · See more »
Queen's University Belfast
Queen's University Belfast (informally Queen's or QUB) is a public research university in Belfast, Northern Ireland.
New!!: Tony Hoare and Queen's University Belfast · See more »
Quickselect
In computer science, quickselect is a selection algorithm to find the kth smallest element in an unordered list.
New!!: Tony Hoare and Quickselect · See more »
Quicksort
Quicksort (sometimes called partition-exchange sort) is an efficient sorting algorithm, serving as a systematic method for placing the elements of an array in order.
New!!: Tony Hoare and Quicksort · See more »
Royal Academy of Engineering
The Royal Academy of Engineering (RAEng) is the UK’s national academy of engineering.
New!!: Tony Hoare and Royal Academy of Engineering · See more »
Royal Navy
The Royal Navy (RN) is the United Kingdom's naval warfare force.
New!!: Tony Hoare and Royal Navy · See more »
Royal Society
The President, Council and Fellows of the Royal Society of London for Improving Natural Knowledge, commonly known as the Royal Society, is a learned society.
New!!: Tony Hoare and Royal Society · See more »
SIGPLAN
SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages.
New!!: Tony Hoare and SIGPLAN · See more »
Sorting algorithm
In computer science, a sorting algorithm is an algorithm that puts elements of a list in a certain order.
New!!: Tony Hoare and Sorting algorithm · See more »
Springer Science+Business Media
Springer Science+Business Media or Springer, part of Springer Nature since 2015, is a global publishing company that publishes books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing.
New!!: Tony Hoare and Springer Science+Business Media · See more »
Sri Lanka
Sri Lanka (Sinhala: ශ්රී ලංකා; Tamil: இலங்கை Ilaṅkai), officially the Democratic Socialist Republic of Sri Lanka, is an island country in South Asia, located in the Indian Ocean to the southwest of the Bay of Bengal and to the southeast of the Arabian Sea.
New!!: Tony Hoare and Sri Lanka · See more »
Structured programming
Structured programming is a programming paradigm aimed at improving the clarity, quality, and development time of a computer program by making extensive use of the structured control flow constructs of selection (if/then/else) and repetition (while and for), block structures, and subroutines in contrast to using simple tests and jumps such as the go to statement, which can lead to "spaghetti code" that is potentially difficult to follow and maintain.
New!!: Tony Hoare and Structured programming · See more »
Technical University of Munich
Technical University of Munich (TUM) (Technische Universität München) is a research university with campuses in Munich, Garching and Freising-Weihenstephan.
New!!: Tony Hoare and Technical University of Munich · See more »
The King's School, Canterbury
The King's School is a selective British co-educational independent school for both day and boarding pupils in the English city of Canterbury in Kent.
New!!: Tony Hoare and The King's School, Canterbury · See more »
The Times
The Times is a British daily (Monday to Saturday) national newspaper based in London, England.
New!!: Tony Hoare and The Times · See more »
Turing Award
The ACM A.M. Turing Award is an annual prize given by the Association for Computing Machinery (ACM) to an individual selected for contributions "of lasting and major technical importance to the computer field".
New!!: Tony Hoare and Turing Award · See more »
Unifying Theories of Programming
Unifying Theories of Programming (UTP) in computer science deals with program semantics.
New!!: Tony Hoare and Unifying Theories of Programming · See more »
University of Bath
The University of Bath is a public university located in Bath, Somerset, United Kingdom.
New!!: Tony Hoare and University of Bath · See more »
University of Oxford
The University of Oxford (formally The Chancellor Masters and Scholars of the University of Oxford) is a collegiate research university located in Oxford, England.
New!!: Tony Hoare and University of Oxford · See more »
University of Warsaw
The University of Warsaw (Uniwersytet Warszawski, Universitas Varsoviensis), established in 1816, is the largest university in Poland.
New!!: Tony Hoare and University of Warsaw · See more »
Z notation
The Z notation is a formal specification language used for describing and modelling computing systems.
New!!: Tony Hoare and Z notation · See more »
Redirects here:
Anthony Hoare, Antony Hoare, C A R Hoare, C. A. R. Hoare, C. A.R. Hoare, C. Anthony R. Hoare, C. Antony R. Hoare, C. Hoare, C.A.R. Hoare, CAR Hoare, CARH, Charles A. R. Hoare, Charles Antony Richard Hoare, Sir Antony Hoare, Sir Charles Antony Richard Hoare.
References
[1] https://en.wikipedia.org/wiki/Tony_Hoare
