The Vienna Definition Language
The Vienna Definition Language
复制标题
维也纳定义语言
DOI：
--
复制
发表时间：
1972
期刊：
影响因子：
--
通讯作者：
P. Wegner
中科院分区：
文献类型：
--
作者：
P. Wegner
维也纳定义语言（VDL）是一种用于定义编程语言的语法和语义的语言。它包括一个语法元语言，用于定义程序和数据结构的语法（参见该条）。以及语义元语言，其根据程序在执行期间产生的计算来“操作性地”指定编程语言语义。
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.