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

< Previous Terms	Terms Containing Vienna Definition Language	Next Terms >
Video on Demand video RAM video random access memory video terminal videotex	PL/I VDL Vienna Definition Language	Vienna Definition Method Vienna Development Method Vienna Development Method Specification Language Vienna Fortran Vietnamese