Statements (18)
| 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 |
| 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_(Vienna_Development_Method)
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
IBM Vienna Laboratory
|