算法语言L的指称语义  

DENOTATIONAL SEMANTICS OF ALGORITHMIC LANGUAGE L

作　　者：王岩冰[1,2] 张家重 刘弘[1,2] 

机构地区：[1]上海交通大学计算机系 [2]山东师范大学计算机系

出　　处：《计算机研究与发展》1998年第3期240-245,共6页Journal of Computer Research and Development

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

关 键 词：算法语言L 抽象文法 程序语言 指称语义 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]