denotational semantics

基本解釋

• [計(jì)] 指稱語義

英漢例句

雙語例句

• The fixed point of continuous function is an important content in denotational semantics, which specifies the computing properties of programs.
  連續(xù)函數(shù)的不動(dòng)點(diǎn)是指稱語義的一個(gè)重要內(nèi)容，它刻畫了程序的計(jì)算性質(zhì)。
• 
  
• The automatic generation system, which transforms the denotational semantics of code generation languages into efficient compiler code generator, has been developed.
  本文中描述了把代碼生成語言的指稱語義描述變換爲(wèi)編譯程序代碼生成器的一個(gè)變換系統(tǒng)。

• denotational semantics更多例句

詞組短語

短語

• continuation denotational semantics 接續(xù)指稱語義
• denotational semantics method 標(biāo)志語意方法
• denotational semantics detail 標(biāo)志語意
• metric denotational semantics 度量指稱語義
• defining denotational semantics 定義名稱語義學(xué)

• denotational semantics更多詞組

專業(yè)釋義

計(jì)算機(jī)科學(xué)技術(shù)

• 指稱語義
• 語義學(xué)
• 標(biāo)志語意
• 外延語意
• 指稱語義學(xué)

電子、通信與自動(dòng)控制技術(shù)

• 指稱語義學(xué)