denotational semantics
基本解释
- [计] 指称语义
英汉例句
- The fixed point of continuous function is an important content in denotational semantics, which specifies the computing properties of programs.
连续函数的不动点是指称语义的一个重要内容,它刻画了程序的计算性质。 - The automatic generation system, which transforms the denotational semantics of code generation languages into efficient compiler code generator, has been developed.
本文中描述了把代码生成语言的指称语义描述变换为编译程序代码生成器的一个变换系统。
双语例句
词组短语
- continuation denotational semantics 接续指称语义
- denotational semantics method 标志语意方法
- denotational semantics detail 标志语意
- metric denotational semantics 度量指称语义
- defining denotational semantics 定义名称语义学
短语
专业释义
- 指称语义
- 语义学
- 标志语意
- 外延语意
- 指称语义学
- 指称语义学