Department of the Oxford University Computing Laboratory
The Programming Research Group (PRG) was part of the Oxford University Computing Laboratory (OUCL) in Oxford, England, along with the Numerical Analysis Group, until OUCL became the Department of Computer Science in 2011.[1]
The PRG was founded by Christopher Strachey (1916–1975) [2] in 1965. It was originally located at 45 Banbury Road.[3]
After Strachey's untimely death, C.A.R. Hoare, FRS took over the leadership in 1977.[4] 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.[4][5]
The PRG moved to 8–11 Keble Road in 1984. During the later 1980s and early 1990s, some members of the PRG were housed at 2 South Parks Road, including Joseph Goguen (who was at the PRG during 1988–1996). Tony Hoare retired in 1999 and the PRG was led by Samson Abramsky from 2000. The PRG continued until the renaming of the Oxford University Computing Laboratory to the Department of Computer Science on 1 June 2011, under the leadership of Bill Roscoe, a former member of the PRG.[1]
The PRG was a centre of excellence in the field of formal methods,[6] 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 won Queen's Awards with IBM and Inmos for work in this area.
^ ab"About the Department of Computer Science". UK: Department of Computer Science, University of Oxford. Retrieved 7 September 2020.
^"Christopher Strachey (1916–1975)". Virtual Museum of Computing. Internet Archive. 2007. Archived from the original on 26 September 2007. Retrieved 3 May 2013.
^"Expenditure for house occupied by the Programming Research Group, 1966–1968". Bodleian Archives & Manuscripts. UK: Bodleian Library, University of Oxford. MS. Eng. misc. b. 255/B.25. Retrieved 7 September 2020.
^ ab"History and Structure". Oxford University Computing Laboratory, Internet Archive. 2007. Archived from the original on 18 June 2007. Retrieved 3 May 2013.
^"Undergraduate handbook 2006–07". Oxford University Computing Laboratory, Internet Archive. 2007. Archived from the original on 20 July 2007. Retrieved 3 May 2013.
^Jones, Cliff B.; Thomas, Martyn (11 June 2020). "The development and deployment of formal methods in the UK". arXiv:2006.06327 [cs.SE].
and 21 Related for: Programming Research Group information
The ProgrammingResearchGroup (PRG) was part of the Oxford University Computing Laboratory (OUCL) in Oxford, England, along with the Numerical Analysis...
strategies Linear programming Nonlinear programming Integer programming in NP-complete problem specially for 0-1 integer linear programming for binary Dynamic...
producing what's known in programming as an executable. Computer architecture has strongly influenced the design of programming languages, with the most...
following is list of researchers of programming language theory, design, implementation, and related areas. Martín Abadi, for the programming language Baby Modula-3...
statically-typed, purely functional programming language with type inference and lazy evaluation. Designed for teaching, research, and industrial applications...
The Research Libraries Group (RLG) was a U.S.-based library consortium that existed from 1974 until its merger with the OCLC library consortium in 2006...
Fundamental Fysiks Group, the Esalen Institute-affiliated Physics–Consciousness ResearchGroup, 100 Year Starship and some other research projects. Toben...
Interest ResearchGroup National Consumer Law Center South Shore Community Action Council' Consumer Aid Program Rhode Island Public Interest ResearchGroup Funeral...
(1973). The Varieties of Programming Language (Technical report). Oxford University Computing Laboratory, ProgrammingResearchGroup. PRG10. Stoy, Joseph;...
history of programming languages spans from documentation of early mechanical computers to modern tools for software development. Early programming languages...
Datapro Research Corporation of Delran Township, New Jersey. It has also acquired a number of direct competitors: Meta Group in 2005, AMR Research and Burton...
Steve Schuman and Bertrand Meyer. It was developed further at the ProgrammingResearchGroup at Oxford University, where Abrial worked in the early 1980s,...
on-the-fly programming, just in time programming and conversational programming, makes programming an integral part of the running program. It is most...
The Computer Systems ResearchGroup (CSRG) was a researchgroup at the University of California, Berkeley that was dedicated to enhancing AT&T Unix operating...
Xerox PARC research staff in Palo Alto, California. Through the decade, he developed prototypes of networked workstations using the programming language...
guided or open. In market research, focus groups can explore a group's response to a new product or service. As a program evaluation tool, they can elicit...
Linear programming is a special case of mathematical programming (also known as mathematical optimization). More formally, linear programming is a technique...
technical offices, including nearly 100 program managers, who together oversee about 250 research and development programs. The name of the organization first...
Motterlini. Scientific community metaphor, an approach to programming influenced by Lakatos's work on research programmes List of Soviet and Eastern Bloc defectors...
Undergraduate Research Opportunities Program provides funding and/or credit to undergraduate students who volunteer for faculty-mentored research projects...