Vienna Definition Language

The Vienna Definition Language (VDL) is a programming language developed at the IBM Laboratory in Vienna, which can be used to specify formal, algebraic definitions of programming languages ​​for software with operational semantics. It is a meta-language (formal language) and has been used to define the programming language PL / I.

A methodology, Vienna Development Method, has also been developed from the language, which makes it easier to formulate and guide the correctness of computer programs. It uses a mathematical notation to express specifications of functions precisely.

As a rule, the use of such metalangers and evidence will only pay off for safety-critical systems (eg railroad transitions, nuclear power plants), since the evidence is very complex and therefore expensive. Edit source text

wiki