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