算法语言L的指称语义

DENOTATIONAL SEMANTICS OF ALGORITHMIC LANGUAGE L

文中为算法语言Ｌ定义了动态指称语义，在描述中避免了含有函数空间构造运算的递归论域方程．指称语义可以说明Ｌ的一些良好的数学性质，也可以说明指称语义技术可以达到更好的直观性和实用性．

The dynamic denotational semantics of the algorithmic language L is defined. The recursive domain equations containing the function space constructor are not used here. The semantic definitions help to clarify some good mathematical properties of algorithmic language L and may be used to advocate a semantic declarative style with better readability and applicability.