Programming Research Group

Programming Research Group

The Programming Research Group (PRG) is part of the Oxford University Computing Laboratory (OUCL). It was founded by Christopher Strachey in 1965 and after his untimely death, C.A.R. 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 after he arrived at the PRG:

"It has long been my personal view that the separation of practical and theoretical work is artificial and injurious. Much of the practical work done in computing, both in software and in hardware design, is unsound and clumsy because the people who do it have not any clear understanding of the fundamental design principles of their work. Most of the abstract mathematical and theoretical work is sterile because it has no point of contact with real computing. One of the central aims of the Programming Research Group as a teaching and research group has been to set up an atmosphere in which this separation cannot happen." []

The PRG has traditionally been a centre of excellence in the field of formal methods, playing a leading role in the development of the Z notation (initiated by a visit of Jean-Raymond Abrial) and CSP (together with the associated Occam programming language). It has won Queen's Awards with IBM and Inmos for work in this area.

External links

* [ Official website]
* [ Further history and background]
* [ Christopher Strachey (1916–1975)]

Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Sable Research Group — The Sable Research Group is located at the School of Computer Science at McGill University and currently under the supervision of Laurie Hendren and Clark Verbrugge. The name of the group originates from the idea that the original goal was to… …   Wikipedia

  • Computer Systems Research Group — CSRG may also refer to China South Locomotive and Rolling Stock Industry (Group) Corporation The Computer Systems Research Group (CSRG) was a research group at the University of California, Berkeley that was dedicated to enhancing AT T Unix… …   Wikipedia

  • Programming language — lists Alphabetical Categorical Chronological Generational A programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that… …   Wikipedia

  • Group decision making — (also known as collaborative decision making) is a situation faced when individuals are brought together in a group to solve problems. According to the idea of synergy, decisions made collectively tend to be more effective than decisions made by… …   Wikipedia

  • Research Triangle — ‹ The template below (Cleanup spam) is being considered for deletion. See templates for discussion to help reach a consensus.› Coordinates: 35°53′N 78°47′W …   Wikipedia

  • occam (programming language) — Not to be confused with OCaml. occam Paradigm(s) concurrent Appeared in 1983 Developer INMOS Stable release 2.1 (official), 2.5 (unofficial), 3 (not fully implemented) (1988+) …   Wikipedia

  • Orwell (programming language) — Orwell Paradigm(s) Lazy functional Appeared in 1984 Designed by Philip Wadler Influenced by Miranda Influenced Haskell Orwell …   Wikipedia

  • operations research — the analysis, usually involving mathematical treatment, of a process, problem, or operation to determine its purpose and effectiveness and to gain maximum efficiency. [1940 45, Amer.] * * * Application of scientific methods to management and… …   Universalium

  • Oz (programming language) — Oz Paradigm(s) multi paradigm: logic, functional, imperative, object oriented, constraint, distributed, concurrent Appeared in 1991 Designed by Gert Smolka, his students Developer Mozart …   Wikipedia

  • List of ubiquitous computing research centers — This is a list of institutions who claim to have a focus on Ubiquitous computing sorted by country: Australia * [ aware mobility project/camp detail CAMP Context Aware Mobility] , National ICT… …   Wikipedia