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

  • 其他单词翻译

    英文单词 中文含义
    Schuster

    舒斯特

    n.(Schuster)人名;(英、德、匈、捷、瑞典)舒斯特

    网络解释

    舒斯特; 舒斯特尔; 西蒙与舒斯特出版公司

    Schule

    [人名] 舒尔

    网络解释

    学校; 学派; 舒了

    Schneidman

    [人名] 施奈德曼

    网络解释

    学家施奈德曼; 施耐德曼

    Schoomaker

    [人名] 斯库梅克

    网络解释

    斯库梅克

    Schlumberger

    n.斯伦贝谢(公司名)

    网络解释

    斯伦贝谢; 斯伦贝谢公司; 美国斯伦贝谢公司

    Schultz

    [人名] 舒尔茨;[地名] [美国] 舒尔茨

    网络解释

    舒尔茨; 学家舒尔茨; 舒尔兹

    Schutt

    [人名] 舒特

    网络解释

    舒特

    Schoenberg

    舍恩伯格(人名)

    网络解释

    勋伯格; 荀白克; 荀贝格

    Schopenhauer

    叔本华(Arthur,1788-1860,德国哲学家)

    网络解释

    哲学家叔本华; 本华尔; 亚瑟· 叔本华

    Schlumbergera

    n.蟹爪兰属

    网络解释

    蟹爪兰属; 仙人掌科仙人指属; 蟹爪属

    Schulz

    n.(Schulz)人名;(英、德、挪、捷、葡、瑞典、法)舒尔茨

    网络解释

    舒尔兹; 舒兹; 学者舒尔兹

    Schutz

    舒茨

    n.(Schutz)人名;(英、德、瑞典)舒茨

    网络解释

    许茨; 舒茨; 舒兹

    Schoenobiinae

    n.禾螟亚科

    网络解释

    禾螟亚科

    Schopenhauerian

    adj.叔本华(德国哲学家)的;叔本华哲学的;唯意志论的

    网络解释

    叔本华的

    Schumacher

    n.舒马赫(F1赛车手)

    网络解释

    舒马赫; 舒马克; 小舒马赫

    Schuyler

    斯凯勒(姓氏)

    网络解释

    皮•斯凯勒; 斯库勒; 舒勒港海事学院

    Schramm

    n.(Schramm)人名;(英、德、葡、捷、瑞典)施拉姆

    网络解释

    施拉姆; 学家施拉姆; 雪姆

    Schuman

    [人名] 舒曼

    网络解释

    舒曼站; 舒曼街心转盘; 汉堡

    Schwab

    [人名] 施瓦布

    网络解释

    施瓦布; 嘉信; 施瓦博

    Schwabe

    n.施瓦贝(姓氏);舒培药厂(德国生物技术公司)

    网络解释

    舒瓦贝; 德国舒瓦贝; 施瓦贝公司