The Vienna Definition Language
ACM Computing Surveys (CSUR)
Formal Methods: Fact File: VDM and Z
Formal Methods: Fact File: VDM and Z
Hi-index | 0.00 |
The Vienna Definition Language (VDL) is a language for defining the syntax and semantics of programming languages. It consists of a syntactic metalanguage for defining the syntax of program and data structures (q.v.) and a semantic metalanguage that specifies programming language semantics "operationally" in terms of the computations to which programs give rise during execution.