denotational

denotational的基本解释

-

[计][修]标志, 指称, 符号

与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部分的一些简单的例子

与denotational相关的网络解释 [注：此内容来源于网络，仅供参考]

denotational semantics：標誌語意

標誌描述 denotational description | 標誌語意 denotational semantics | 標誌語意語言 Denotational Semantics Language

denotational semantics：指称语义

依赖图 dependency graph | 指称语义 denotational semantics | 公理语义 axiomatic semantics

denotational setting：標誌設定

標誌語意方法 denotational semantics method | 標誌設定 denotational setting | 外延定義 denotative definition

denotational description：標誌描述

標誌 denotation | 標誌描述 denotational description | 標誌語意 denotational semantics

formal denotational semantics：形式标志语意

形式定义 formal definition | 形式标志语意 formal denotational semantics | 形式描述语言 formal description language