查询词典 denotational

Anglophone readers of Emily Dickinson's poem who happen not be members of her special discourse community, might not know the denotational meaning of the word 'Attar', nor associate 'rosemary' with the dead.

艾米丽？迪金森的诗歌的英语读者正好不属于她的特殊话语群，可能不知道阿塔尔的指称意义，也不知道迷迭香和死亡的联系。

In order to show the performability of mutually-inversistic mathematical logic in counting,its application to artificial intelligence is given:the operational semantics and denotational semantics of second level single quasi-Pro...

为说明互逆主义数理逻辑在计算中的能行性，给出了其在人工智能计算中的应用：二层单准Prolog的操作语义和指称语义。

This paper present the meaning of semantic equivalence and Herbrand equivalence based upon denotational sematics with concrete programming language.Herbrand equivalence is weaker than Semantic equivalence, it has much wider utility.

从指称语义出发，结合具体语言，用形式化的方法讨论了语义等价和H-等价。H-等价的判定条件相对来说更容易得到满足，具有更广泛的可用性。

In accordance with the denotational semantical framework, it employs the system trace to describe the dynamic properties of a program instead of the input/output function.

它以指称语义框架为基础，用系统轨迹代替输入/输出函数来刻划程序的动态特性。

With a set of denotational semantics you can see some simple examples in part 1

凭借指称语义集（你可以看到在第1部分的一些简单的例子

A important period of west music history------Baroque period, which is denotational by Italy opera's creation.

西方音乐史上的一个重要时期——巴洛克时期，是以意大利歌剧的产生为标志的。

Code 4, you can see that the function square requires a function as an argument with the following denotational semantic

代码4，您可以看到该函数方要求为以下指称语义参数的函数

For its implementation in object-oriented languages, its operational semantics and denotational semantics are given.

本文给出了型构兼容的继承的操作语义和指称语义，为其在面向对象程序设计语言中的实现奠定了基础。关键

Founded on UTP, it focuses on a denotational resource model framework for hardware synthesizer design.

在该理论框架中，静态资源模型给出了资源约束的&质&的一面。

Since computation under network involves variants, complicated information and behaviors, it is difficult to give denotational semantic description for computing under network.

网络计算系统中涉及的操作复杂，很难直接给出一种的语义描述框架。

Graf, without question, is the greatest women's player in history.

格拉芙，现在，毫无疑问是女子网坛历史上最伟大的选手。

If not, you will have to look around at all your important data.

如果没有，您将需要检查所有的重要数据。