Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Programming_Research_Group> ?p ?o }
Showing triples 1 to 70 of
70
with 100 triples per page.
- Programming_Research_Group abstract "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 in 1965 and after his 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 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.".
- Programming_Research_Group wikiPageExternalLink prg.
- Programming_Research_Group wikiPageID "238920".
- Programming_Research_Group wikiPageLength "3093".
- Programming_Research_Group wikiPageOutDegree "26".
- Programming_Research_Group wikiPageRevisionID "645889975".
- Programming_Research_Group wikiPageWikiLink Archive.org.
- Programming_Research_Group wikiPageWikiLink C.A.R._Hoare.
- Programming_Research_Group wikiPageWikiLink Category:1965_establishments_in_England.
- Programming_Research_Group wikiPageWikiLink Category:2011_disestablishments_in_England.
- Programming_Research_Group wikiPageWikiLink Category:Computer_science_institutes_in_the_United_Kingdom.
- Programming_Research_Group wikiPageWikiLink Category:Departments_of_the_University_of_Oxford.
- Programming_Research_Group wikiPageWikiLink Category:Educational_institutions_disestablished_in_2011.
- Programming_Research_Group wikiPageWikiLink Category:Educational_institutions_established_in_1965.
- Programming_Research_Group wikiPageWikiLink Category:Formal_methods_organizations.
- Programming_Research_Group wikiPageWikiLink Category:Oxford_University_Computing_Laboratory.
- Programming_Research_Group wikiPageWikiLink Christopher_Strachey.
- Programming_Research_Group wikiPageWikiLink Communicating_Sequential_Processes.
- Programming_Research_Group wikiPageWikiLink Communicating_sequential_processes.
- Programming_Research_Group wikiPageWikiLink Computer_hardware.
- Programming_Research_Group wikiPageWikiLink Computing.
- Programming_Research_Group wikiPageWikiLink Department_of_Computer_Science,_University_of_Oxford.
- Programming_Research_Group wikiPageWikiLink England.
- Programming_Research_Group wikiPageWikiLink Fellow_of_the_Royal_Society.
- Programming_Research_Group wikiPageWikiLink Formal_methods.
- Programming_Research_Group wikiPageWikiLink IBM.
- Programming_Research_Group wikiPageWikiLink Inmos.
- Programming_Research_Group wikiPageWikiLink Internet_Archive.
- Programming_Research_Group wikiPageWikiLink Jean-Raymond_Abrial.
- Programming_Research_Group wikiPageWikiLink Occam_(programming_language).
- Programming_Research_Group wikiPageWikiLink Occam_programming_language.
- Programming_Research_Group wikiPageWikiLink Oxford.
- Programming_Research_Group wikiPageWikiLink Oxford_University_Computing_Laboratory.
- Programming_Research_Group wikiPageWikiLink Queens_Awards_for_Enterprise.
- Programming_Research_Group wikiPageWikiLink Royal_Society.
- Programming_Research_Group wikiPageWikiLink Software.
- Programming_Research_Group wikiPageWikiLink Tony_Hoare.
- Programming_Research_Group wikiPageWikiLink Z_notation.
- Programming_Research_Group wikiPageWikiLinkText "Programming Research Group".
- Programming_Research_Group hasPhotoCollection Programming_Research_Group.
- Programming_Research_Group wikiPageUsesTemplate Template:Coord.
- Programming_Research_Group wikiPageUsesTemplate Template:Formalmethods-stub.
- Programming_Research_Group wikiPageUsesTemplate Template:Quote.
- Programming_Research_Group wikiPageUsesTemplate Template:Reflist.
- Programming_Research_Group subject Category:1965_establishments_in_England.
- Programming_Research_Group subject Category:2011_disestablishments_in_England.
- Programming_Research_Group subject Category:Computer_science_institutes_in_the_United_Kingdom.
- Programming_Research_Group subject Category:Departments_of_the_University_of_Oxford.
- Programming_Research_Group subject Category:Educational_institutions_disestablished_in_2011.
- Programming_Research_Group subject Category:Educational_institutions_established_in_1965.
- Programming_Research_Group subject Category:Formal_methods_organizations.
- Programming_Research_Group subject Category:Oxford_University_Computing_Laboratory.
- Programming_Research_Group hypernym Part.
- Programming_Research_Group point "51.7598 -1.2585".
- Programming_Research_Group type Disestablishment.
- Programming_Research_Group type Establishment.
- Programming_Research_Group type Institute.
- Programming_Research_Group type Method.
- Programming_Research_Group type Organization.
- Programming_Research_Group type Organization.
- Programming_Research_Group type SpatialThing.
- Programming_Research_Group comment "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 in 1965 and after his death, C.A.R. Hoare, FRS took over the leadership in 1977.".
- Programming_Research_Group label "Programming Research Group".
- Programming_Research_Group sameAs m.01jnh6.
- Programming_Research_Group sameAs Q7248493.
- Programming_Research_Group sameAs Q7248493.
- Programming_Research_Group lat "51.7598".
- Programming_Research_Group long "-1.2585".
- Programming_Research_Group wasDerivedFrom Programming_Research_Group?oldid=645889975.
- Programming_Research_Group isPrimaryTopicOf Programming_Research_Group.