Statements (19)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:research_institute
|
gptkbp:activePeriod |
1960s
1970s |
gptkbp:contributedTo |
programming language theory
compiler construction |
gptkbp:country |
gptkb:Austria
|
gptkbp:field |
computer science
formal methods |
https://www.w3.org/2000/01/rdf-schema#label |
IBM Vienna Laboratory
|
gptkbp:locatedIn |
gptkb:Vienna
|
gptkbp:notableFor |
development of PL/I compiler
development of Vienna Development Method (VDM) |
gptkbp:notableMember |
gptkb:Heinz_Zemanek
Peter Lucas Hans Bekić |
gptkbp:operatedBy |
gptkb:IBM
|
gptkbp:bfsParent |
gptkb:VDM
gptkb:VDM_(Vienna_Development_Method) |
gptkbp:bfsLayer |
7
|