Vienna Definition Language
El Vienna Definition Language (VDL), en español, «Lenguaje de Definición de Viena» es un lenguaje de programación desarrollado en un centro de IBM en Viena (Austria), que puede utilizarse para declarar definiciones algebraicas de lenguajes de programación para software con una semántica operacional. Representa une metalenguaje (lenguaje formal) y se ha utilizado, entre otros, para la definición del lenguaje de programación PL/I.
A partir de este lenguaje se ha creado una metodología, el Vienna Development Method, lo que facilita formular demostraciones de corrección sobre programas informáticos. Se sirve de una notación matemática, para expresar de forma precisa especificaciones de subrutinas.
La utilización de estos metalenguajes y demostraciones sólo suele rentabilizarse para sistemas donde la seguridad es crítica (ej. pasos de tren, centrales nucleares), cuya demostración es muy trabajosa y por lo tanto cara.
Bibliografía
- "The Vienna Definition Language", P. Wegner, ACM Comp Surveys 4(1):5-63 (Mar 1972).
- D. Bjørner and C. B. Jones (eds.), The Vienna Development Method: The Meta-Language, Lecture Notes in Computer Science, Vol. 61, Springer-Verlag 1978. ISBN 0-387-08766-4
- D. Bjørner and C. B. Jones, Formal Specification and Software Development Prentice Hall International, 1982. ISBN 0-13-880733-7
- P. Lucas, "Formal Semantics of Programming Languages: VDL," IBM J. Res. Develop. 25,549-561 (1981)