Vienna Definition Language - IBM Vienna Labs. A language for formal
definition via operational semantics. Used to specify the semantics of
PL/I. "The Vienna Definition Language", P. Wegner, ACM Comp Surveys
4(1):5-63 (Mar 1972).
Comments, Experience, Additions
Next Language: Vienna Fortran