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

  • 其他单词翻译

    英文单词 中文含义
    based

    adj. 有根基的;有基地的

    v. 立基于;以…为基础(base的过去式和过去分词)

    basalts

    n. 玄武岩,黑陶器(似玄武岩的制品)( basalt的名词复数 )

    网络解释

    海槽玄武岩; 玄武石

    baselateral

    基侧的

    base-load

    n.基底负载;基本负荷,基底负荷

    网络解释

    基本负荷电力; 基本负载; 基荷

    bascine

    盆形的

    basedoid

    类巴塞多氏病

    basaluminite

    n.羟铝矾,基矾石

    base-pair

    n.碱基对

    网络解释

    硷基对; 盐基对; 盐基替换

    baseless

    adj. 无根据的;胡枝扯叶

    网络解释

    无基础的; 没有依据的; 凭空

    basedowian

    n.巴塞多氏病者

    网络解释

    巴塞多病者

    base-tray

    基底托盘

    baselessly

    adv.无根据地,信口雌黄地

    basamaize

    广草胺

    网络解释

    广草胺除草剂

    basedowiform

    [医] 类似巴塞多氏病的

    baseball

    n. 棒球;[体]棒球运动

    网络解释

    垒球; 棒球板; 棒垒球

    basan

    书面羊皮

    n.(Basan)人名;(西、俄、葡、巴基)巴桑

    网络解释

    书面羊皮; 巴山; 钓点

    baselice

    n.巴塞利切(意大利地名)

    网络解释

    巴塞利切

    basculation

    心弹摆运动

    网络解释

    子宫后倾矫正术

    basefield

    n.基域

    网络解释

    基域; 表格列基类; 待续

    baseband

    n.基带

    网络解释

    基带; 基频; 基频晶片