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

  • 其他单词翻译

    英文单词 中文含义
    incises

    v. (在表面)雕,刻( incise的第三人称单数 )

    网络解释

    切割; 切开; 下切

    inciter

    教唆犯

    煽动者

    网络解释

    煽动者; 煽起; 促使

    incipience

    n. 开始,早期

    网络解释

    发端; 早期; 起始初发初期

    incisor

    n. 切牙,门齿

    网络解释

    门牙; 切齿; 板牙

    incisiform

    adj.典型的切牙形的

    incivism

    n.<正式>无公德心,无公民意识;无爱国精神

    网络解释

    无公德心; 没公德心; 无爱国精神

    incites

    v. 刺激,激励,煽动( incite的第三人称单数 )

    网络解释

    煽惑; 数据库

    incipiency

    n. 起初,发端

    网络解释

    起初; 机先; 发端

    incisors

    n. 切牙,门齿( incisor的名词复数 )

    网络解释

    门牙; 切齿; 上下门牙

    incising

    v. (在表面)雕,刻( incise的现在分词 )

    网络解释

    刻痕; 切刻; 加切刻痕

    incl

    abbr. include 包括;including 包括;inclusive 包括的;inclusivement (French=inclusively) (法语)包含地

    网络解释

    包括; 到包括; 婴儿型

    inciting

    adj. 刺激的,煽动的

    v. 刺激,激励,煽动( incite的现在分词 )

    网络解释

    刺激的

    incipient

    adj. 开始的,初期的

    网络解释

    初期的; 刚出现的; 起初的

    incisory

    adj. 切割用的,门牙的

    网络解释

    切割用的; 门牙的; 适合切割的

    incisio

    [医] 切口,切开,缺口(叶)

    inclasp

    vt.抱住;握紧(等于enclasp)

    incitive

    adj.煽动的

    网络解释

    促动性的

    incipit

    n. 开始(中世纪抄本开端用语)

    网络解释

    引言; 开始的经节; 开始文

    incisure

    n. 切迹

    incle

    [医][=inclusive]包括,关住,算入,包含