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 (now the Technical University of Vienna).[1] 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 , 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 (VDL). These descriptions were used for compiler design research into compiler design during 1968–70.[2]
The formal method VDM (Vienna Development Method) was a result of research at the laboratory by Dines Bjørner, Cliff Jones, Peter Lucas, and others.[1]
See also[]
References[]
- ^ a b Jones, Cliff B. (1990). Systematic software development using VDM. Prentice-Hall. p. 1.
- ^ Jones, Cliff B.; Lucas, Peter (1971). Engeler, E. (ed.). "Proving correctness of implementation techniques". A Symposium on Algorithmic Languages. Lecture Notes in Mathematics. Vol. 188. Springer-Verlag. pp. 178–211.
- IBM facilities
- Computer science research organizations
- Computer science institutes
- Organisations based in Vienna
- Research institutes in Austria
- European organization stubs
- Austria stubs
- Computer science stubs