denotational semantics

基本解釋

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