| 词条 | 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. The PRG was founded by Christopher Strachey[1] in 1965 and after his death, C.A.R. Hoare, FRS took over the leadership in 1977.[2] The PRG ethos is summed up by the following quotation from Strachey, found and promulgated by Tony Hoare after he arrived at the PRG: {{quote|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.[2][3]}}The PRG was 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 won Queen's Awards with IBM and Inmos for work in this area. References1. ^{{cite web |url=//vmoc.museophile.org/pioneers/strachey.html |title=Christopher Strachey (1916–1975)] |work=Virtual Museum of Computing |publisher=Internet Archive |date=2007 |accessdate=3 May 2013 |deadurl=yes |archiveurl=https://web.archive.org/web/20070926235419/http://vmoc.museophile.org/pioneers/strachey.html |archivedate=September 26, 2007 |df= }} 2. ^1 {{cite web |url=//web.comlab.ox.ac.uk/oucl/about/background.html |title=History and Structure |publisher=Oxford University Computing Laboratory, Internet Archive |date=2007 |accessdate=3 May 2013 |deadurl=yes |archiveurl=https://web.archive.org/web/20070618131143/http://web.comlab.ox.ac.uk/oucl/about/background.html |archivedate=June 18, 2007 |df= }} 3. ^{{cite web |url=//web.comlab.ox.ac.uk/oucl/courses/undergrad06-07/handbook/ |title=Undergraduate handbook 2006–07 |publisher=Oxford University Computing Laboratory, Internet Archive |date=2007 |accessdate=3 May 2013 |deadurl=yes |archiveurl=https://web.archive.org/web/20070720181945/http://web.comlab.ox.ac.uk/oucl/courses/undergrad06-07/handbook/ |archivedate=July 20, 2007 |df= }} External links
8 : Educational institutions established in 1965|1965 establishments in England|2011 disestablishments in England|Educational institutions disestablished in 2011|Departments of the University of Oxford|Formal methods organizations|Computer science institutes in the United Kingdom|Oxford University Computing Laboratory |
| 随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。