%0 Journal Article
%T 带迭代算子的函数式程序设计*
%A 阎志欣？
%J 软件学报
%P 239-248
%D 1996
%X 本文提出了程序设计语言的一种新的计算模型，带迭代算子的函数式模型．文中给出了基于该计算模型的程序设计语言的语法、计算规则集及确定性证明．该类语言以表达式的复合描述顺序，以迭代表达式描述循环，以条件表达式描述分支，使得程序以数学语义为基础，易于理解、证明及构造高技的执行系统．褶信该类语言是一种有坚实理论基础、高教的、实际有用的，高级确定性程序设计语言．
%K 迭代算子
%K 函数式语盲
%K 归约
%K 计算
%K 确定性．
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=1996s134&flag=1