A noun has the denotational and the referential meaning.
名词的词义有基本意义和实指意义两个方面。
The emphasis is given to the denotational description of code generation languages.
本文侧重讨论了代码生成语言的指称描述。
The fixed point of continuous function is an important content in denotational semantics, which specifies the computing properties of programs.
连续函数的不动点是指称语义的一个重要内容，它刻画了程序的计算性质。
In this paper, we take probabilistic event structures as our semantic model and provide a metric denotational semantics for probabilistic process algebra.
本文中，我们采用概率事件结构作为语义模型，研究了概率进程代数的度量指称语义。
Some algebraic laws of Timed RSL are presented, which can be proved from the denotational semantics, and be used in program transformation and optimization.
最后还给出了时间化RSL的一些代数定律。这些定律可以从其指称语义证明，并用于程序的转化和优化。
The automatic generation system, which transforms the denotational semantics of code generation languages into efficient compiler code generator, has been developed.
本文中描述了把代码生成语言的指称语义描述变换为编译程序代码生成器的一个变换系统。
The denotational main body of Chinese Shanghai World's Fair in 2010 volunteer is composed of the Chinese character "heart", English letter "v", mouth rank olive branch flight dove of peace.
2010年上海世博会志愿者标志的主体由汉字“心”、英文字母“V”、嘴衔橄榄枝飞翔的和平鸽构成。
The denotational main body of Chinese Shanghai World's Fair in 2010 volunteer is composed of the Chinese character "heart", English letter "v", mouth rank olive branch flight dove of peace.
中国2010年上海世博会志愿者标志的主体由汉字“心”、英文字母“V”、嘴衔橄榄枝飞翔的和平鸽构成。
The denotational main body of Chinese Shanghai World's Fair in 2010 volunteer is composed of the Chinese character "heart", English letter "v", mouth rank olive branch flight dove of peace.
中国2010年上海世博会志愿者标志的主体由汉字“心”、英文字母“V”、嘴衔橄榄枝飞翔的和平鸽构成。
应用推荐