IBM Laboratory Vienna
IBM Laboratory Vienna was an IBM research laboratory based in Vienna, Austria.
The laboratory started with a group led by Heinz Zemanek that moved from the Technische Hochschule. Initially, the group worked on computer hardware projects. Later a compiler for the ALGOL 60 programming language was produced. The group built on ideas of Calvin C. Elgot, Peter Landin, and John McCarthy, to create an operational semantics that could define the whole of IBM's PL/I programming language. The meta-language used for this was dubbed by people outside the laboratory as the Vienna Definition Language. These descriptions were used for compiler design research into compiler design during 1968–70.
The formal method VDM was a result of research at the laboratory by Dines Bjørner, Cliff Jones, Peter Lucas, and others.
