算法语言L的指称语义
DENOTATIONAL SEMANTICS OF ALGORITHMIC LANGUAGE L
-
摘要: 文中为算法语言L定义了动态指称语义,在描述中避免了含有函数空间构造运算的递归论域方程.指称语义可以说明L的一些良好的数学性质,也可以说明指称语义技术可以达到更好的直观性和实用性.Abstract: 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.
下载: