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
|