流逝汉英词典

denotational semantics

D 开头单词

基本解释

  • [計] 指稱語義

英汉例句

    雙語例句

  • The fixed point of continuous function is an important content in denotational semantics, which specifies the computing properties of programs.
    連續函數的不動點是指稱語義的一個重要內容，它刻畫了程序的計算性質。

  • The automatic generation system, which transforms the denotational semantics of code generation languages into efficient compiler code generator, has been developed.
    本文中描述了把代碼生成語言的指稱語義描述變換爲編譯程序代碼生成器的一個變換系統。

词组短语

    短語

  • continuation denotational semantics 接續指稱語義
  • denotational semantics method 標志語意方法
  • denotational semantics detail 標志語意
  • metric denotational semantics 度量指稱語義
  • defining denotational semantics 定義名稱語義學

专业释义

    計算機科學技術

  • 指稱語義
  • 語義學
  • 標志語意
  • 外延語意
  • 指稱語義學

    • 電子、通信與自動控制技術

  • 指稱語義學