IBM Laboratory Vienna

From Wikipedia, the free encyclopedia

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[]

  1. ^ a b Jones, Cliff B. (1990). Systematic software development using VDM. Prentice-Hall. p. 1.
  2. ^ 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.


Austria

This article about an organisation in Austria is a stub. You can help Wikipedia by .

  • v
  • t
Stub icon

This computer science article is a stub. You can help Wikipedia by .

  • v
  • t
Retrieved from ""