好单词

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


    • 其他单词翻译

    英文单词 中文含义
    Amblystoma

    [医] 美西螈属
    Amberg

    [人名] 安伯格；[地名] [美国] 安伯格；[地名] [德国] 安贝格

    网络解释

    安贝格; 安伯格; 安倍格
    Amati

    n. 阿玛蒂（家族制的）提琴

    网络解释

    阿玛蒂; 阿玛蒂提琴; 阿玛蒂家族
    Amboina

    n. （印尼）安汶岛

    网络解释

    安波那; 安汶; 安汶岛
    Amberley

    n.（Amberley）人名；（英）安伯利

    网络解释

    安伯利; 天空; 安伯利机场
    Amato

    n.（Amato）人名；（法、西、意、葡）阿马托；（日）天户（姓）

    网络解释

    阿马托; 阿马图; 阿马托枢机
    Amboinese

    n. （印尼）安汶人[语]

    网络解释

    安汶人
    Amberlite

    n. 安珀莱特（离子交换树脂的商标名称），离子交换树脂

    网络解释

    阳离子交换树脂; 阴离子交换树脂; 安柏莱特
    Amaz

    abbr. Amazonas 亚马逊（巴西州名）
    Amboise

    安布瓦斯（法国中西部的小镇，位于图尔以东的卢瓦尔河边。雷翁那多·达芬奇据说被埋葬在这里的哥特式教堂里，人口10， 498）

    网络解释

    昂布瓦斯; 昂布瓦兹城堡; 昂布兹王家城堡
    Ambien

    安比恩（唑匹旦、唑嘧啶胺药剂的商标）

    网络解释

    安必恩; 唑吡坦; 安眠药
    Ambonese

    n. 安汶人，安汶语
    Ambon

    安汶岛

    网络解释

    安汶; 安汶岛; 印尼城市
    Amcide

    氨基磺酸铵
    Ambrac

    n.铜镍合金

    网络解释

    AA式安培克合金
    Amdahl

    n.（Amdahl）人名；（挪）安达尔

    网络解释

    阿姆达尔; 阿姆达尔公司; 阿姆达定律
    Ambraloy

    n.安培乐合金

    网络解释

    安培乐合金
    Amebelodontinae

    n.美洲铲齿象亚科

    网络解释

    美洲铲齿象亚科
    Ambridge

    [人名] [英格兰人姓氏] 安布里奇语源不详，可能是住所名称，第一个成分不详，第二个成分含义是“桥”(bridge)，或是Ambrose的民俗语源变体

    网络解释

    安部姬; 安布里奇; 安蓓姬
    Ambrose

    n. 安布罗斯(m.)

    网络解释

    安波罗修; 许绍洋; 安布鲁斯