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的一些代数定律。 这些定律可以从其指称语义证明,并用于程序的转化和优化。

  • 其他单词翻译

    英文单词 中文含义
    conscientization

    n. (拉美一些国家对贫苦文盲进行的)觉悟启蒙(运动)

    网络解释

    意识化; 意识觉醒; 觉悟启蒙

    conscripted

    v. 征召(某人入伍)( conscript的过去式和过去分词 )

    网络解释

    征召服兵役; 被征收入伍

    conscionable

    adj. 凭良心的,正直的

    网络解释

    凭良心的; 公正的; 认真

    conscriptee

    n. 〈美口〉被征入伍者

    conscripting

    v. 征召(某人入伍)( conscript的现在分词 )

    网络解释

    征召

    conscription

    n. 征兵;征用

    网络解释

    征召; 征兵制; 兵役法

    consecution

    n. 连续;条理;逻辑顺序;推理(或推论)上的联系

    网络解释

    连续; 条理; 逻辑顺序

    conscripts

    n. 应征入伍者( conscript的名词复数 )

    v. 征召(某人入伍)( conscript的第三人称单数 )

    网络解释

    动员兵; 士兵; 应征步兵

    consentaneous

    adj. 一致的,同意的

    网络解释

    全场一致的; 相同的

    consecutive

    adj. 连续的,连贯的;[语]表示结果的

    网络解释

    连续的; 连贯的; 始终一贯的

    consecrate

    vt. 把…奉为神圣,给…祝圣;奉献,献祭;使就圣职;举行圣体礼使

    adj. 神圣的;被献给神的

    网络解释

    使神圣; 献给; 尊崇

    consequences

    n. 重要(性)( consequence的名词复数 );结果;重要地位;因果关系

    网络解释

    结果; 推论; 影响

    consentaneously

    adj.一致的;同意的;全场一致的

    consecutively

    adv. 连续地

    网络解释

    连续地; 连续的; 连贯的

    consecrated

    adj. 神圣的,被视为神圣的

    v. 把…奉为神圣,给…祝圣( consecrate的过去式和过去分词 );奉献

    网络解释

    神圣的; 祝圣; 分别为圣

    conservable

    adj.可保存的

    consequent

    adj. 随之发生的;必然的,合乎逻辑的;继起的;[地]顺向的

    n. 结果;[逻]后件,结论;[数]后项;[语](条件结构中的)结果子句

    consented

    v. 同意( consent的过去式和过去分词 );赞成;允许;顺从

    网络解释

    附从; 同意的

    conseiller

    n.(Conseiller)人名;(法)孔塞耶

    网络解释

    推事; 参赞; 司法顾问

    consecrates

    n. 把…奉为神圣,给…祝圣( consecrate的名词复数 );奉献

    v. 把…奉为神圣,给…祝圣( consecrate的第三人称单数 );奉献

    网络解释

    使神圣; 献给; 尊崇