IBM Laboratory Vienna fue 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 la Universidad Técnica de Viena ). [1] Inicialmente, el grupo trabajó en proyectos de hardware de computadoras . Más tarde 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 operacional que pudiera definir todo el lenguaje de programación PL/I de IBM. El metalenguaje utilizado para esto fue bautizado por personas fuera del laboratorio como Vienna Definition Language (VDL). Estas descripciones se utilizaron para la investigación sobre el diseño de compiladores durante 1968-70. [2]
El método formal VDM ( Método de Desarrollo de Viena ) fue el resultado de la investigación en el laboratorio de Dines Bjørner , Cliff Jones , Peter Lucas y otros. [1]