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)].
Read Also:
- Vienna definition method
Vienna Development Method
- Vienna development method
programming, specification (VDM) A program development method based on formal specification using the Vienna Development Method Specification Language (VDM-SL). [Details?] [Is there such a thing as “Vienna Definition Method”?] (2000-11-02)
- Vienna fortran
A data-parallel extension of Fortran 77 for distributed memory multiprocessors by Hans Zima [email protected], Vienna University. [“Programming In Vienna Fortran”, B. Chapman et al, Scientific Programming 1(1):31-50 (Aug 1992)].
- Vienna-international
noun 1. a socialist organization formed in Vienna in 1921 and merged in 1923 with the Second International to form the Labor and Socialist International. Compare international (def 6).
- Vienna-sausage
or vienna sausage noun 1. a small frankfurter, often served as an hors d’oeuvre.