About: Programming Research Group

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

Department of the Oxford University Computing Laboratory

Property	Value
dbo:description	institut de recherche au Royaume-Uni (fr) Department of the Oxford University Computing Laboratory (en)
dbo:thumbnail	wiki-commons:Special:FilePath/Hoare.jpg?width=300
dbo:wikiPageExternalLink	https://web.archive.org/web/20100221010808/http:/web2.comlab.ox.ac.uk/oucl/about/prg
dbo:wikiPageWikiLink	dbr:Samson_Abramsky dbc:1965_establishments_in_England dbr:Computer_hardware dbc:2011_disestablishments_in_England dbc:Oxford_University_Computing_Laboratory dbr:Z_notation dbr:Formal_methods dbr:South_Parks_Road dbr:Jean-Raymond_Abrial dbc:Computer_science_institutes_in_the_United_Kingdom dbr:England dbr:Computing dbr:Software dbr:IBM dbr:Christopher_Strachey dbc:Departments_of_the_University_of_Oxford dbr:Inmos dbc:Formal_methods_organizations dbr:Oxford dbc:Educational_institutions_disestablished_in_2011 dbc:Educational_institutions_established_in_1965 dbr:Bill_Roscoe dbr:Fellow_of_the_Royal_Society dbr:Joseph_Goguen dbr:Banbury_Road dbr:Department_of_Computer_Science,_University_of_Oxford dbr:Keble_Road dbr:Archive.org dbr:Communicating_Sequential_Processes dbr:Queen's_Awards_for_Enterprise dbr:Oxford_University_Computing_Laboratory dbr:Numerical_Analysis_Group dbr:C.A.R._Hoare dbr:Occam_programming_language dbr:File:Hoare.jpg
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Quote dbt:Reflist dbt:Use_dmy_dates dbt:Formalmethods-stub dbt:Coord dbt:Short_description
dct:subject	dbc:1965_establishments_in_England dbc:2011_disestablishments_in_England dbc:Oxford_University_Computing_Laboratory dbc:Computer_science_institutes_in_the_United_Kingdom dbc:Departments_of_the_University_of_Oxford dbc:Formal_methods_organizations dbc:Educational_institutions_disestablished_in_2011 dbc:Educational_institutions_established_in_1965 dbc:Research_groups
gold:hypernym	dbr:Part
schema:sameAs	http://viaf.org/viaf/126029443
georss:point	51.7598 -1.2585
rdf:type	geo:SpatialThing
rdfs:label	Programming Research Group (en)
owl:sameAs	http://viaf.org/viaf/126029443 freebase:Programming Research Group yago-res:Programming Research Group wikidata:Programming Research Group http://d-nb.info/gnd/139194-X dbpedia-global:Programming Research Group
geo:geometry	POINT(-1.2584999799728 51.759799957275)
geo:lat	51.759800 (xsd:float)
geo:long	-1.258500 (xsd:float)
prov:wasDerivedFrom	wikipedia-en:Programming_Research_Group?oldid=1196801714&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Hoare.jpg
foaf:isPrimaryTopicOf	wikipedia-en:Programming_Research_Group
is dbo:institution of	dbr:Joe_Stoy
is dbo:wikiPageDisambiguates of	dbr:PRG
is dbo:wikiPageWikiLink of	dbr:Z_notation dbr:Jean-Raymond_Abrial dbr:Tony_Hoare dbr:Ernst-Rüdiger_Olderog dbr:PRG dbr:Peter_Mosses dbr:Christopher_Strachey dbr:David_May_(computer_scientist) dbr:Science_Area,_Oxford dbr:Joe_Stoy dbr:Michael_Butler_(computer_scientist) dbr:Philip_Wadler dbr:Banbury_Road dbr:Department_of_Computer_Science,_University_of_Oxford dbr:He_Jifeng dbr:Orwell_(programming_language) dbr:Ken_Robinson_(computer_scientist) dbr:Michael_Spivey
is dbp:workplaces of	dbr:Joe_Stoy
is foaf:primaryTopic of	wikipedia-en:Programming_Research_Group