A metalanguage used to describe programming languages in terms of operational semantics. It was developed in the 1960s by the IBM Laboratory in Vienna, which went on to devise VDM methodology. In contrast to VDL, the metalanguage developed for VDM, VDM-Meta-IV, used denotational semantics.