Programming Research Group, Oxford
GPTKB entity
Statements (15)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:research_institute
|
gptkbp:focusArea |
gptkb:programming_language
formal methods semantics of computation |
gptkbp:foundedBy |
gptkb:Christopher_Strachey
|
gptkbp:foundedIn |
1965
|
https://www.w3.org/2000/01/rdf-schema#label |
Programming Research Group, Oxford
|
gptkbp:locatedIn |
gptkb:Oxford,_England
|
gptkbp:notableMember |
gptkb:Dana_Scott
gptkb:Robin_Milner gptkb:Tony_Hoare |
gptkbp:partOf |
gptkb:Department_of_Computer_Science,_University_of_Oxford
|
gptkbp:university |
gptkb:University_of_Oxford
|
gptkbp:bfsParent |
gptkb:Christopher_Strachey
|
gptkbp:bfsLayer |
7
|