基本解釋[計(jì)] 指稱(chēng)語(yǔ)義英漢例句雙語(yǔ)例句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)是指稱(chēng)語(yǔ)義的一個(gè)重要內(nèi)容，它刻畫(huà)了程序的計(jì)算性質(zhì)。The automatic generation system, which transforms the denotational semantics of code generation languages into efficient compiler code generator, has been developed.本文中描述了把代碼生成語(yǔ)言的指稱(chēng)語(yǔ)義描述變換爲(wèi)編譯程序代碼生成器的一個(gè)變換系統(tǒng)。denotational semantics更多例句詞組短語(yǔ)短語(yǔ)continuation denotational semantics 接續(xù)指稱(chēng)語(yǔ)義denotational semantics method 標(biāo)志語(yǔ)意方法denotational semantics detail 標(biāo)志語(yǔ)意metric denotational semantics 度量指稱(chēng)語(yǔ)義defining denotational semantics 定義名稱(chēng)語(yǔ)義學(xué)denotational semantics更多詞組專(zhuān)業(yè)釋義計(jì)算機(jī)科學(xué)技術(shù)指稱(chēng)語(yǔ)義語(yǔ)義學(xué)標(biāo)志語(yǔ)意外延語(yǔ)意指稱(chēng)語(yǔ)義學(xué)電子、通信與自動(dòng)控制技術(shù)指稱(chēng)語(yǔ)義學(xué)