denotational semantics

常見(jiàn)例句

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)是指稱語(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ǔ)言的指稱語(yǔ)義描述變換爲(wèi)編譯程序代碼生成器的一個(gè)變換系統(tǒng)。