单词 |
vienna definition language |
释义 |
Vienna Definition Language
Vienna definition language[vē′en·ə ‚def·ə′nish·ən ‚laŋ·gwij] (computer science) A language for defining the syntax and semantics of programming languages; consists of a syntactic metalanguage for defining the syntax of programming and data structures, and a semantic metalanguage which specifies programming language semantics operationally in terms of the computations to which programs give rise during execution. Vienna Definition Language(VDL) IBM Vienna Labs. A language for formal, algebraicdefinition via operational semantics. Used to specify thesemantics of PL/I. See also VDM.
["The Vienna Definition Language", P. Wegner, ACM Comp Surveys4(1):5-63 (Mar 1972)].AcronymsSeeVDL |
随便看 |
- calcium channel, voltage-dependent, beta 2 subunit1 2
- calcium channel, voltage-dependent, beta 3 subunit
- calcium channel, voltage-dependent, beta 4 subunit
- calcium channel, voltage-dependent, gamma subunit 1
- calcium channel, voltage-dependent, gamma subunit 2
- calcium channel, voltage-dependent, gamma subunit 3
- calcium channel, voltage-dependent, gamma subunit 4
- calcium channel, voltage-dependent, gamma subunit 5
- calcium channel, voltage-dependent, gamma subunit 6
- calcium channel, voltage-dependent, gamma subunit 7
- calcium channel, voltage-dependent, gamma subunit 8
- calcium channel, voltage-dependent, l type, alpha 1b subunit
- calcium channel, voltage-dependent, l type, alpha 1c subunit
- calcium channel, voltage-dependent, l type, alpha 1d subunit
- calcium channel, voltage-dependent, l type, alpha 1f subunit
- calcium channel, voltage-dependent, l type, alpha-1s subunit
- calcium channel, voltage-dependent, n type, alpha 1b subunit
- calcium channel, voltage-dependent, p/q type, alpha 1a subunit
- calcium channel, voltage-dependent, p/q type, alpha-1a subunit
- calcium channel, voltage-dependent, r type, alpha 1e subunit
- calcium channel voltage-dependent subunit beta 1
- calcium channel voltage-dependent subunit beta 22 3
- calcium channel voltage-dependent subunit beta 3
- calcium channel voltage-dependent subunit beta 4
- calcium channel, voltage-dependent, t type, alpha 1g subunit
|