| 带迭代算子的函数式程序设计* |
| |
| 引用本文： | 阎志欣.带迭代算子的函数式程序设计*[J].软件学报,1996,7(Z1):239-248. |
| |
| 作者姓名： | 阎志欣 |
| |
| 作者单位： | 北京航空航天大学计算机科学与工程系北京 100083 |
| |
| 基金项目： | 本文研究得到南京大学计算机软件研究所基金和航空科学技术基金资助. |
| |
| 摘 要： | 本文提出了程序设计语言的一种新的计算模型，带迭代算子的函数式模型．文中给出了基于该计算模型的程序设计语言的语法、计算规则集及确定性证明．该类语言以表达式的复合描述顺序，以迭代表达式描述循环，以条件表达式描述分支，使得程序以数学语义为基础，易于理解、证明及构造高技的执行系统．褶信该类语言是一种有坚实理论基础、高教的、实际有用的，高级确定性程序设计语言．
|
| 关 键 词： | 迭代算子，函数式语盲，归约 计算，确定性． |
| 收稿时间： | 1995/6/19 0:00:00 |
FUNCTION PROGRAMMING WITH ITERATION OPERATOR |
| |
| Yan Zhixin.FUNCTION PROGRAMMING WITH ITERATION OPERATOR[J].Journal of Software,1996,7(Z1):239-248. |
| |
| Authors: | Yan Zhixin |
| |
| Abstract: | |
| |
| Keywords: | |
|
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
