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

  • 其他单词翻译

    英文单词 中文含义
    glyphosine

    n.[农药]草甘二膦

    网络解释

    增甘膦; 增甘磷; 甘甘二膦

    gmm

    abbr.全球多媒体移动性(GlobalMultimediaMobility);GPRS移动性管理(GPRSMobilityManagement);男性假两性畸形综合征(Goldberg-Maxwell-Morris)

    网络解释

    高斯混合模型(Gaussian Mixture Model); 超磁致伸缩材料(Giant Magnetostrictive Material); 广义矩估计(generalized method of moments)

    glyptograph

    n. 宝石上雕刻的花纹(图形)

    网络解释

    宝石花纹

    gma

    abbr.甲基丙烯酸缩水甘油酯;普通微处理器体系结构(GeneralMicroprocessorArchitecture);食品加工协会(GroceryManufacturersAssociation)

    glyphs

    n. 符号 (占星学上所用的速记符号)

    网络解释

    字形; 雕文; 雕纹

    gnar

    v. (狗等)吠,吼,咆哮

    网络解释

    咆哮; 格纳尔; 面积百分比

    glyptographic

    n.宝石雕刻术

    网络解释

    古埃及的

    glyphylline

    甘油茶碱

    网络解释

    甘油茶硷

    gnarl

    n. 节,瘤

    v. 生节;咆哮;使有节;扭

    gmos

    abbr.转基因生物(GeneticallyModifiedOrganisms)

    网络解释

    转基因生物; 转基因生物体; 基因改造生物

    glyptography

    n. 宝石雕刻术

    glypinamide

    格列平脲

    网络解释

    格列平脲

    gnarled

    adj. (树、树干、树枝)扭曲的;多瘤的;多节的;(手、手指)粗糙的

    网络解释

    多节的; 粗糙的; 多瘤的

    gmr

    abbr.三重化安全表决系统(GeniusModularRedundancy);磁巨阻磁头(GiantMagnetoResisive);大磁阻记录(giantmagnetoresistiverecording)

    网络解释

    巨磁电阻(giant magneto-resistance); 巨磁阻(Giant Magneto Resistive); 巨磁电阻效应

    glyptolith

    风棱石

    网络解释

    风刻石

    glyptal

    n. 甘酞树脂

    网络解释

    甘酞树脂; 丙苯树脂; 革利忒

    gnarly

    adj.多瘤的;粗糙的;扭曲的;极好的;艰难的,危险的

    网络解释

    多瘤的; 节或瘤; 粗糙的

    gmrt
    glysal

    n.水杨酸羟乙烷

    glyptic

    adj. 雕刻的

    网络解释

    宝石雕刻的