Vienna Definition Language

IBM Vienna Labs

A language for formal definition via operational semantics. Used to specify the semantics of PL/I.

"The Vienna Definition Language", P. Wegner, ACM Computer Surveys 4(1):5-63 (Mar 1972).