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 mudó de la Technische Hochschule (ahora la Universidad Técnica de Viena ). [1] Inicialmente, el grupo trabajó en proyectos de hardware de computadora . 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 podría definir la totalidad del lenguaje de programación PL / I de IBM . El metalenguajeutilizado para esto fue apodado por personas fuera del laboratorio como el Lenguaje de Definición de Viena (VDL). Estas descripciones se utilizaron para el diseño del compilador de investigación en el diseño del compilador durante 1968-1970. [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]
Ver también
Referencias
- ↑ a b Jones, Cliff B. (1990). Desarrollo de software sistemático utilizando VDM . Prentice-Hall . pag. 1.
- ^ Jones, Cliff B .; Lucas, Peter (1971). Engeler, E. (ed.). "Demostración de la corrección de las técnicas de implementación". Un simposio sobre lenguajes algorítmicos . Apuntes de clase en matemáticas . 188 . Springer-Verlag . págs. 178–211.