IBM Vienna Laboratory

GPTKB entity

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