IBM Laboratory Vienna era un laboratorio de investigación de IBM con sede en Viena , Austria .
El laboratorio comenzó con un grupo dirigido por Heinz Zemanek que se trasladó desde la Technische Hochschule (ahora Universidad Técnica de Viena ). [1] Inicialmente, el grupo trabajó en proyectos de hardware informático . Posteriormente se produjo un compilador para el lenguaje de programación ALGOL 60 . El grupo se basó en las ideas de Calvin C. Elgot, Peter Landin y John McCarthy para crear una semántica operativa que pudiera definir todo el lenguaje de programación PL/I de IBM. El metalenguaje utilizado para ello fue denominado por personas ajenas al laboratorio como Lenguaje de Definición de Viena (VDL). Estas descripciones se utilizaron para la investigación del diseño de compiladores durante 1968-1970. [2]
El método formal VDM ( Método de Desarrollo de Viena ) fue el resultado de una investigación en el laboratorio de Dines Bjørner , Cliff Jones , Peter Lucas y otros. [1]