IBM Laboratory Vienna - IBM Laboratory Vienna - Wikipedia

IBM Laboratory Vienna byl IBM výzkumná laboratoř se sídlem v Vídeň, Rakousko.

Laboratoř začala skupinou pod vedením Heinz Zemanek který se přesunul z Technische Hochschule (nyní Technická univerzita ve Vídni ).[1] Zpočátku skupina pracovala počítačový hardware projekty. Později a překladač pro ALGOL 60 byl vytvořen programovací jazyk. Skupina stavěla na myšlenkách Calvin C. Elgot, Peter Landin, a John McCarthy, vytvořit operační sémantika které by mohly definovat celé IBM PL / I. programovací jazyk. The metajazyk použitý pro toto byl nazván lidmi mimo laboratoř jako Vídeňský definiční jazyk (VDL). Tyto popisy byly použity pro kompilátor design výzkum designu překladačů v letech 1968–70.[2]

The formální metoda VDM (Vídeňská rozvojová metoda ) byl výsledkem výzkumu v laboratoři od Večeře Bjørner, Cliff Jones, Peter Lucas, a další.[1]

Viz také

Reference

  1. ^ A b Jones, Cliff B. (1990). Systematický vývoj softwaru pomocí VDM. Prentice-Hall. p. 1.
  2. ^ Jones, Cliff B .; Lucas, Peter (1971). Engeler, E. (ed.). "Prokázání správnosti implementačních technik". Sympózium o algoritmických jazycích. Přednášky z matematiky. 188. Springer-Verlag. str. 178–211.