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.
  本文中描述了把代码生成语言的指称语义描述变换为编译程序代码生成器的一个变换系统。

• denotational semantics更多例句

词组短语

短语

• continuation denotational semantics 接续指称语义
• denotational semantics method 标志语意方法
• denotational semantics detail 标志语意
• metric denotational semantics 度量指称语义
• defining denotational semantics 定义名称语义学

• denotational semantics更多词组

专业释义

计算机科学技术

• 指称语义
• 语义学
• 标志语意
• 外延语意
• 指称语义学

电子、通信与自动控制技术

• 指称语义学