denotational 指称的
- The denotational information passing in the speech act, have different precision according different denotation means used by speakers.
在言语行为中传递的指称信息,由于发话人使用不同的指称手段而具有不同的精度。 - 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的一些代数定律。 这些定律可以从其指称语义证明,并用于程序的转化和优化。 - A denotational semantics is given to a program phrase with free variables in terms of a continuous function from the denotation of its environment type to the denotation of its type.
给予带有自由变量的一个程序段的指称语义,依据它从它的环境类型的指称到它的类型的指称的连续函数。
您正在访问的是
中国词汇量第二的英语词典
更多精彩,登录后发现......