An Entity of Type: SocialGroup107950920, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

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. The PRG was founded by Christopher Strachey (1916–1975) in 1965. It was originally located at 45 Banbury Road. After Strachey's 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:

Property Value
dbo:abstract
  • 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. The PRG was founded by Christopher Strachey (1916–1975) in 1965. It was originally located at 45 Banbury Road. After Strachey's 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 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. 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. (en)
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 238920 (xsd:integer)
dbo:wikiPageLength
  • 5253 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1100343704 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dct:subject
gold:hypernym
schema:sameAs
georss:point
  • 51.7598 -1.2585
rdf:type
rdfs:comment
  • 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. The PRG was founded by Christopher Strachey (1916–1975) in 1965. It was originally located at 45 Banbury Road. After Strachey's 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: (en)
rdfs:label
  • Programming Research Group (en)
owl:sameAs
geo:geometry
  • POINT(-1.2584999799728 51.759799957275)
geo:lat
  • 51.759800 (xsd:float)
geo:long
  • -1.258500 (xsd:float)
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License