English Dictionary: Vienna Definition Language | by the DICT Development Group |
1 result for Vienna Definition Language | |
From The Free On-line Dictionary of Computing (15Feb98) [foldoc]: | |
Vienna Definition Language (VDL) IBM Vienna Labs. A language for formal, algebraic definition via operational semantics. Used to specify the semantics of PL/I. See also {VDM}. ["The Vienna Definition Language", P. Wegner, ACM Comp Surveys 4(1):5-63 (Mar 1972)]. |