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) » « Shrink index
Academic Press is an academic book publisher.
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.
ALGOL W is a programming language.
In mathematics and computer science, an algorithm is an unambiguous specification of how to solve a class of problems.
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.
Athens University of Economics and Business (AUEB; Οικονομικό Πανεπιστήμιο Αθηνών, Oikonomiko Panepistimio Athinon, abbrev. ΟΠΑ, OPA) was founded in 1920 in Athens, Greece.
Augusto Cezar Alves Sampaio is a Brazilian computer scientist who works with formal methods and language semantics.
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.
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.
Andrew William "Bill" Roscoe is a Scottish computer scientist.
Ceylon (Sinhala: බ්රිතාන්ය ලංකාව, Brithānya Laṃkāva; Tamil: பிரித்தானிய இலங்கை, Birithaniya Ilangai) was a British Crown colony between 1815 and 1948.
The British Council is a British organisation specialising in international cultural and educational opportunities.
The British Library is the national library of the United Kingdom and the largest national library in the world by number of items catalogued.
Cambridge is a university city and the county town of Cambridgeshire, England, on the River Cam approximately north of London.
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.
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 (16 November 1916 – 18 May 1975) was a British computer scientist.
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.
Clifford "Cliff" B. Jones (born 1 June 1944) is a British computer scientist, specializing in research into formal methods.
Colombo (translit,; translit) is the commercial capital and largest city of Sri Lanka.
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 journal 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, US.
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.
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.
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.
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.
The Dragon School is one school on two sites based in Oxford, England, U.K..
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.
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.
The Faraday Medal is the top medal awarded by the Institution of Engineering and Technology (IET) (previously called the Institution of Electrical Engineers).
A fellow is a member of a group (or fellowship) that work together in pursuing mutual knowledge or practice.
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".
The Mercury was an early commercial computer from the mid-1950s built by Ferranti.
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) is a Chinese computer scientist.
Heriot-Watt University is a public university based in Edinburgh, Scotland.
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.
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 a field primarily concerned with the analysis, collection, classification, manipulation, storage, retrieval, movement, dissemination, and protection of information.
Kellogg College is a graduate-only constituent college of the University of Oxford in England.
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.
The is Japan's highest private award for global achievement.
Leslie Fox (30 September 1918 – 1 August 1992) was a British mathematician noted for his contribution to numerical analysis.
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.
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.
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 (28 February 1948 – 22 August 2017) was a leading British computer scientist.
Microsoft Research is the research subsidiary of Microsoft.
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; Московский государственный университет имени М. В. Ломоносова, often abbreviated МГУ) is a coeducational and public research university located in Moscow, Russia.
Mountain View is a city located in Santa Clara County, California, United States, named for its views of the Santa Cruz Mountains.
Nashville is the capital and most populous city of the U.S. state of Tennessee and the seat of Davidson County.
In computing, a null pointer has a value reserved for indicating that the pointer does not refer to a valid object.
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.
Ole-Johan Dahl (12 October 1931 – 29 June 2002) was a Norwegian computer scientist.
An operating system (OS) is system software that manages computer hardware and software resources and provides common services for computer programs.
Oxford is a city in the South East region of England and the county town of Oxfordshire.
Parallel computing is a type of computation in which many calculations or the execution of processes are carried out concurrently.
Prentice Hall is a major educational publisher owned by Pearson plc.
Professor (commonly abbreviated as Prof.) is an academic rank at universities and other post-secondary education and research institutions in most countries.
A programming language is a formal language that specifies a set of instructions that can be used to produce various kinds of output.
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 (informally Queen's or QUB) 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.
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.
The Royal Academy of Engineering (RAEng) is the UK’s national academy of engineering.
The Royal Navy (RN) is the United Kingdom's naval warfare force.
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.
SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages.
In computer science, a sorting algorithm is an algorithm that puts elements of a list in a certain order.
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.
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.
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.
Technical University of Munich (TUM) (Technische Universität München) is a research university with campuses in Munich, Garching and Freising-Weihenstephan.
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.
The Times is a British daily (Monday to Saturday) national newspaper based in London, England.
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".
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.
The University of Oxford (formally The Chancellor Masters and Scholars of the University of Oxford) is a collegiate research university located in Oxford, England.
The University of Warsaw (Uniwersytet Warszawski, Universitas Varsoviensis), established in 1816, is the largest university in Poland.
The Z notation is a formal specification language used for describing and modelling computing systems.
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.