好单词

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


    • 其他单词翻译

    英文单词 中文含义
    strivings

    网络解释

    奋斗动力；力争；奋争
    stoles

    n. 女用披肩( stole的名词复数 )

    网络解释

    偷；圣带；偷窃
    stimied

    v. 妨碍，阻挠( stimy的过去式和过去分词 )

    网络解释

    估计的，估计的
    stravaged

    v. <主苏格兰>漫游，游荡，徘徊( stravage的过去式和过去分词 )

    网络解释

    镶边的
    strollers

    n. 散步者，闲逛者( stroller的名词复数 )

    网络解释

    折叠式婴儿车；婴儿手推车；外贸童婴推车
    stomachaches

    n. 胃痛，腹痛( stomachache的名词复数 )
    stimies

    n. 妨碍球( stimy的名词复数 )

    网络解释

    刺激，刺激
    stoppages

    n. 停止，中止( stoppage的名词复数 )

    网络解释

    中断；比赛中止；停射
    strongmen

    n. 大力士( strongman的名词复数 )

    网络解释

    独裁者
    stravages

    vi. <主苏格兰>漫游，游荡，徘徊（stravage的第三人称单数形式）
    strophes

    n. 撇号( apostrophe的名词复数 )；省略符号；所有格符号；<语>呼语

    网络解释

    表示省略的撇号；省略符号；表示省略或所有格
    stimying

    网络解释

    刺激，刺激
    storages

    网络解释

    仓储类；储物架；储物柜
    stravaging

    v. <主苏格兰>漫游，游荡，徘徊( stravage的现在分词 )

    网络解释

    阴道阴道术
    stipends

    n. （尤指牧师的）薪俸( stipend的名词复数 )

    网络解释

    津贴；发奖金
    streakers

    n. (1970年代出现的)裸跑者( streaker的名词复数 )

    网络解释

    赛场裸奔族
    storehouses

    n. 仓库( storehouse的名词复数 )；货栈；知识宝库；知识丰富的人

    网络解释

    半山腰上盖了储藏屋
    strowed

    v. 散播( strow的过去式和过去分词 )

    网络解释

    被划动的
    strowing

    v. 散播( strow的现在分词 )

    网络解释

    划水，划水
    stirrers

    n. 喜欢制造事端的人， （尤指）好播弄是非者( stirrer的名词复数 )

    网络解释

    搅拌器；调酒棒；塑料搅拌器