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

  • 其他单词翻译

    英文单词 中文含义
    bantin

    白臀野牛,爪哇野牛

    网络解释

    坂田; 曼丁

    baptizes

    n. 给…施洗礼( baptize的名词复数 );(施洗时)授…以教名;给…精神上的洗礼;使经受考验

    网络解释

    施洗; 施洗礼; 受洗

    baptismal

    adj. 洗礼的

    网络解释

    受洗; 洗礼池; 洗礼性

    banyan

    n. (印度)榕树

    网络解释

    菩提树; 悦榕; 印度榕树

    bapst

    n.巴普斯特

    baptizing

    v. 给…施洗礼( baptize的现在分词 );(施洗时)授…以教名;给…精神上的洗礼;使经受考验

    网络解释

    施洗; 受洗; 施浸

    baptismally

    adv. (尤指教堂中)用作洗礼的地方,洗礼地,圣洗地

    网络解释

    洗礼的地方

    baptifoline

    n.鹰靛叶碱;野靛叶素

    网络解释

    膺靛叶碱; 靛叶硷; l-穿叶赝靛硷

    baptorrhea

    [医] 病液溢

    baptista

    n.巴普蒂斯塔(姓氏或女子名,意思是施洗者)

    网络解释

    巴普蒂斯塔; 巴普提斯塔; 巴普利斯塔

    baptothecorrhea

    n.妇女淋病

    网络解释

    妇女淋病

    bapturethrorrhea

    n.尿道液溢

    bapu

    abbr.嵌段型APU

    网络解释

    芋头; 意思就是; 巴布

    barad

    n.巴(压强单位)

    网络解释

    巴拉德

    barabak

    n.巴拉巴克

    baquet

    巴奎特(人名)

    网络解释

    磁桶; 大盆

    barakat

    n.(Barakat)人名;(阿拉伯、印)巴拉卡特

    网络解释

    巴拉卡特; 失踪

    barabara

    n. 用草皮(干草)所盖的半地下房屋

    网络解释

    半地下房屋; 索马里奥德大戟木

    barada

    n.(Barada)人名;(阿拉伯、印)巴拉达

    网络解释

    巴拉达; 巴拉达河; 拜拉达河

    bar

    n. 条,棒;(门、窗等的)闩;障碍;酒吧间

    vt. 闩(门等);阻碍,封锁;排除,去除

    prep. 除…之外

    网络解释

    压力; 巴; 巴尔