公理语义 axiomatic semantics 公理语义的意思 axiomatic semantics的意思公理语义的英文 axiomatic semantics的翻译

公理语义

规范用词公理语义

英文对照axiomatic semantics

名词审定计算机科学技术名词审定委员会

公布时间2002年

科学技术名词为您提供公理语义,axiomatic semantics,公理语义的意思,axiomatic semantics的意思,公理语义的英文,axiomatic semantics的翻译,公理语义的翻译,公理语义是什么意思,公理语义什么意思,axiomatic semantics是什么意思,axiomatic semantics什么意思

公理语义相关科技名词

语言与编译»

[分]情况语句case statement
控制语句control statement
巴克斯-诺尔形式Backus-Naur form;BNF
巴克斯范式Backus normal form;BNF
范式normal form
元语言metalanguage
常量constant
常量说明constant declaration
全局变量global variable
局部变量local variable
分量component
子程序subprogram
例程routine
子例程subroutine
协同例程coroutine
形参formal parameter
实参actual parameter
[按]名调用call by name
引址调用call by reference
[按]值调用call by value
值参value parameter
数组array
赋值assignment
字面常量literal constant
声明declaration
作用域scope
定义性出现definitional occurrence
语法分析程序parser
依赖图dependency graph
指称语义denotational semantics
公理语义axiomatic semantics
操作语义operational semantics
属性语法attribute grammar
过程语义procedural semantics
代数语义algebraic semantics
语用pragmatics
变换语义transformation semantics
绑定binding
正则表达式regular expression
正则语言regular language

公理语义 axiomatic semantics 公理语义的意思 axiomatic semantics的意思 公理语义的英文 axiomatic semantics的翻译

公理语义

公理语义 axiomatic semantics 公理语义的意思 axiomatic semantics的意思公理语义的英文 axiomatic semantics的翻译