小词霸

denotational

denotational

中文翻译

指称的

网络解释

指称的

英文短语

  • 1.denotational semantics [计]指称语义；指称语义学；标志语意；[计]外延语义学
  • 2.denotational description [计]标志描述
  • 3.denotational setting 标志设定
  • 4.denotational meaning 它不仅包含表义意义
  • 5.Denotational Semantics Language 标志语意语言
  • 6.denotational semantic model 标志语义模型
  • 7.denotational semantics method 标志语意方法
  • 8.formal denotational semantics 形式表示语义；形式标志语意
  • 9.denotational semantics detail 标志语意

    • 英文例句

  • 1.A noun has the denotational and the referential meaning.名词的词义有基本意义和实指意义两个方面。
  • 2.The emphasis is given to the denotational description of code generation languages.本文侧重讨论了代码生成语言的指称描述。
  • 3.The fixed point of continuous function is an important content in denotational semantics, which specifies the computing properties of programs.连续函数的不动点是指称语义的一个重要内容，它刻画了程序的计算性质。
  • 4.In this paper, we take probabilistic event structures as our semantic model and provide a metric denotational semantics for probabilistic process algebra.本文中，我们采用概率事件结构作为语义模型，研究了概率进程代数的度量指称语义。
  • 5.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的一些代数定律。 这些定律可以从其指称语义证明，并用于程序的转化和优化。


    • 其他单词翻译

    英文单词 中文含义
    decouple

    v. 减弱（核爆炸）震波

    网络解释

    去耦; 解耦; 退耦
    decoupled

    v. 减弱（核爆炸）震波( decouple的过去式和过去分词 )

    网络解释

    脱钩或分离; 退耦; 解耦性
    decoylamide

    辛酰胺
    decouples

    v. 减弱（核爆炸）震波( decouple的第三人称单数 )
    decree-law

    n.命令；法令
    decoys

    n. （用于诱捕鸟兽的）动物（或仿制物）( decoy的名词复数 )；用于引诱某人落入圈套的人或物

    网络解释

    圈套; 诱饵; 诱饵化合物
    decoupling

    n. 退耦（装置）

    v. 减弱（核爆炸）震波( decouple的现在分词 )

    网络解释

    脱钩; 去耦; 去耦合
    decrepit

    adj. 衰老的，老朽的，破旧的；头童齿豁；衰朽；蓬头历齿

    网络解释

    龙钟; 老弱的; 年老力衰
    decreeable

    adj.可被判定的；可被颁布的
    decr

    abbr. decrease 减少；变少；decrement(al)(ly) 减缩；减值
    decoy

    n. 诱饵，诱鸟；圈套；诱捕

    vt. 诱捕

    网络解释

    诱骗; 圈套; 假目标
    decretory

    adj. 命令的，法定的

    网络解释

    命令的
    decrepitate

    v. 发出响声地烧烤，烧得发出轻脆声响；烧爆

    网络解释

    爆裂; 发出响声地烧烤
    decrater

    n.卸箱机

    网络解释

    卸箱机; 卸货机
    decreed

    vt. 命令（decree的过去式与过去分词形式）

    网络解释

    分布法令; 下旨; 颁布后
    decoyed

    vt. 诱捕（decoy的过去式与过去分词形式）

    网络解释

    诱饵; 诱骗; 假目标
    decrease

    n. 减少，减小；减少量

    vi.&vt. 减少，减小

    网络解释

    下降; 减少量; 减少之量
    decrial

    n. 责难，诽谤

    网络解释

    责难; 诽谤
    decrepitation

    烧爆；烧爆作用；烧裂；爆裂

    网络解释

    烧爆; 烧爆作用; 热爆
    decreeing

    vt. 命令（decree的现在分词形式）