VDict - Definition of Vienna Definition Language

Computing (FOLDOC) dictionary

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)].

Related search result for "Vienna Definition Language"

Words contain "Vienna Definition Language" in its definition in Computing (FOLDOC) dictionary:
Vienna Definition Language Vienna Development Method Vienna Development Method Specification Language ADL VDL Vienna Definition Method CDL PL/I programming language DDL more...