84 relations: Academic Press, ALGOL, ALGOL W, Algorithm, Andrey Kolmogorov, Athens University of Economics and Business, Augusto Sampaio, Autocode, Axiom, École Polytechnique Fédérale de Lausanne, Bill Roscoe, 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, Dragon School, Edsger W. Dijkstra, Elliott Brothers (computer company), England, Faraday Medal, Fellow, Ferranti Mercury, Harry H. Goode Memorial Award, He Jifeng, 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, 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 (34 more) » « Shrink index
Academic Press is an academic book publisher.
New!!: Tony Hoare and Academic Press ·
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 ·
ALGOL W is a programming language.
New!!: Tony Hoare and ALGOL W ·
In mathematics and computer science, an algorithm is a self-contained step-by-step set of operations to be performed.
New!!: Tony Hoare and Algorithm ·
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 ·
Athens University of Economics and Business (AUEB) (Οικονομικό Πανεπιστήμιο Αθηνών, Oikonomiko Panepistimio Athinon, abbrev.) was founded in 1920 in Athens, Greece.
Augusto Cezar Alves Sampaio is a Brazilian computer scientist who works with formal methods and language semantics.
New!!: Tony Hoare and Augusto Sampaio ·
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 ·
An axiom or postulate is a premise or starting point of reasoning.
New!!: Tony Hoare and Axiom ·
The École polytechnique fédérale de Lausanne (EPFL, English: Swiss Federal Institute of Technology in Lausanne) is a research university in Lausanne, Switzerland, that specialises in physical sciences and engineering.
Andrew William "Bill" Roscoe is a Scottish computer scientist.
New!!: Tony Hoare and Bill Roscoe ·
The British Council is a British organisation specialising in international educational and cultural opportunities.
New!!: Tony Hoare and British Council ·
The British Library is the national library of the United Kingdom and the largest library in the world by number of items catalogued.
New!!: Tony Hoare and British Library ·
The city of Cambridge is a university city and the county town of Cambridgeshire, England.
New!!: Tony Hoare and Cambridge ·
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 in the United Kingdom.
New!!: Tony Hoare and Canterbury ·
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.
Christopher S. Strachey (1916–1975) was a British computer scientist.
New!!: Tony Hoare and Christopher Strachey ·
The term civil service can refer to either a branch of governmental service in which individuals are employed (hired) on the basis of professional merit as proven by competitive examinations; or the body of employees in any government agency apart from the military, which is a separate extension of any national government.
New!!: Tony Hoare and Civil service ·
Clifford "Cliff" B. Jones (born 1 June 1944) is a British computer scientist, specializing in research into formal methods.
Colombo (Sinhala: කොළඹ, pronounced; கொழும்பு) is the commercial capital and largest city of Sri Lanka.
New!!: Tony Hoare and Colombo ·
In computer science, communicating sequential processes (CSP) is a formal language for describing patterns of interaction in concurrent systems.
Communications of the ACM is the monthly magazine of the Association for Computing Machinery (ACM).
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.
The Computer Conservation Society (CCS) is a British organisation, founded in 1989.
The Computer History Museum (CHM) is a museum established in 1996 in Mountain View, California, USA.
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.
Computer science deals with the theoretical foundations of information and computation, together with practical techniques for the implementation and application of these foundations Computer science is the scientific and practical approach to computation and its applications.
New!!: Tony Hoare and Computer science ·
In computer science, concurrency is a property of systems in which several computations are executing simultaneously, and potentially interacting with each other.
The Department of Computer Science is the computer science department of the University of Oxford, England.
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.
The Dragon School is a British coeducational, preparatory school in the English city of Oxford, founded in 1877 as the Oxford Preparatory School, or OPS.
New!!: Tony Hoare and Dragon School ·
Edsger Wybe Dijkstra (11 May 1930 – 6 August 2002) was a Dutch computer scientist and mathematical scientist.
New!!: Tony Hoare and Edsger W. Dijkstra ·
Elliott Brothers (London) Ltd was an early computer company of the 1950s–60s in the United Kingdom.
England is a country that is part of the United Kingdom.
New!!: Tony Hoare and England ·
The Faraday Medal is a medal awarded by the Institution of Engineering and Technology (previously called the Institution of Electrical Engineers) The bronze medal is awarded (either for notable scientific or industrial achievement in engineering or for conspicuous service rendered to the advancement of science, engineering and technology) without restriction as regards nationality, country of residence or membership of the Institution.
New!!: Tony Hoare and Faraday Medal ·
In academia, a fellow is a member of a group of learned people who work together as peers in the pursuit of mutual knowledge or practice.
New!!: Tony Hoare and Fellow ·
The Mercury was an early commercial computer from the mid 1950s built by Ferranti.
New!!: Tony Hoare and Ferranti Mercury ·
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.
He Jifeng (born August 1943 in Shanghai) is a Chinese computer scientist.
New!!: Tony Hoare and He Jifeng ·
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 ·
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.
Information science is an interdisciplinary field primarily concerned with the analysis, collection, classification, manipulation, storage, retrieval, movement, dissemination, and protection of information.
New!!: Tony Hoare and Information science ·
Kellogg College is one of the constituent colleges of the University of Oxford in England.
The appointment of Knight Bachelor (Kt) is a part of the British honours system.
New!!: Tony Hoare and Knight Bachelor ·
The is Japan’s highest private award for global achievement.
New!!: Tony Hoare and Kyoto Prize ·
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 ·
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 ·
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 ·
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.
Michael John Caldwell "Mike" Gordon FRS (born 28 February 1948) is a British computer scientist.
New!!: Tony Hoare and Michael J. C. Gordon ·
Microsoft Research is the research division of Microsoft.
New!!: Tony Hoare and Microsoft Research ·
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.
Lomonosov Moscow State University (MSU; Московский государственный университет имени М. В. Ломоносова) is a coeducational and public research university located in Moscow, Russia.
Mountain View is a city located in Northern California's San Francisco Bay Area.
Nashville is the capital of the U.S. state of Tennessee and the county seat of Davidson County.
New!!: Tony Hoare and Nashville, Tennessee ·
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 ·
occam is a concurrent programming language that builds on the communicating sequential processes (CSP) process algebra, INMOS document 72 occ 45 03 and shares many of its features.
Ole-Johan Dahl (12 October 1931 – 29 June 2002) was a Norwegian computer scientist and is considered to be one of the fathers of Simula and object-oriented programming along with Kristen Nygaard.
New!!: Tony Hoare and Ole-Johan Dahl ·
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 ·
Oxford is a city in the South East region of England and the county town of Oxfordshire.
New!!: Tony Hoare and Oxford ·
Parallel computing is a form/type of computation in which many calculations are carried out simultaneously, operating on the principle that large problems can often be divided into smaller ones, which are then solved at the same time.
New!!: Tony Hoare and Parallel computing ·
Prentice Hall is a major educational publisher owned by Pearson PLC.
New!!: Tony Hoare and Prentice Hall ·
A professor, informally often known as full professor, is the highest academic rank at universities and other post-secondary education and research institutions in most countries.
New!!: Tony Hoare and Professor ·
A programming language is a formal constructed language designed to communicate instructions to a machine, particularly a computer.
New!!: Tony Hoare and Programming language ·
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.
Queen's University Belfast is a public research university in Belfast, Northern Ireland.
In computer science, quickselect is a selection algorithm to find the kth smallest element in an unordered list.
New!!: Tony Hoare and Quickselect ·
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 ·
The Royal Academy of Engineering is the UK’s national academy of engineering.
The Royal Navy (RN) is the United Kingdom's principal naval warfare force.
New!!: Tony Hoare and Royal Navy ·
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 for science and is possibly the oldest such society still in existence.
New!!: Tony Hoare and Royal Society ·
SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages.
New!!: Tony Hoare and SIGPLAN ·
A sorting algorithm is an algorithm that puts elements of a list in a certain order.
New!!: Tony Hoare and Sorting algorithm ·
Springer Science+Business Media or Springer is a global publishing company that publishes books, e-books and peer-reviewed journals in science, technical and medical (STM) publishing.
Sri Lanka (or; Sinhalese Śrī Laṃkāva, Tamil Ilaṅkai), officially the Democratic Socialist Republic of Sri Lanka and known from the beginning of British colonial rule until 1972 as Ceylon, is an island country in South Asia near south-east India.
New!!: Tony Hoare and Sri Lanka ·
Structured programming is a programming paradigm aimed at improving the clarity, quality, and development time of a computer program by making extensive use of subroutines, block structures and for and while loops—in contrast to using simple tests and jumps such as the goto statement which could lead to "spaghetti code" which is difficult both to follow and to maintain.
The King's School is a British co-educational independent school for both day and boarding pupils in the English city of Canterbury in Kent.
The Times is a British daily national newspaper based in London.
New!!: Tony Hoare and The Times ·
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 a technical nature made to the computing community".
New!!: Tony Hoare and Turing Award ·
Unifying Theories of Programming (UTP) in computer science deals with program semantics.
The University of Bath is a public university located in Bath, Somerset, United Kingdom.
New!!: Tony Hoare and University of Bath ·
The University of Oxford (informally Oxford University or simply Oxford) is a collegiate research university located in Oxford, England.
New!!: Tony Hoare and University of Oxford ·
The University of Warsaw (Uniwersytet Warszawski, Universitas Varsoviensis), established in 1816, is the largest university in Poland.
New!!: Tony Hoare and University of Warsaw ·
The Z notation is a formal specification language used for describing and modelling computing systems.
New!!: Tony Hoare and Z notation ·
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.