带迭代算子的函数式程序设计 |
| |
引用本文: | 阎志欣.带迭代算子的函数式程序设计[J].软件学报,1996,7(A00):239-248. |
| |
作者姓名: | 阎志欣 |
| |
摘 要: | 本文提出了程序设计语言的一种新的计算模型,带迭代处子的函数式模型,文中给出了基于该计算模型的程序设计语言的语法、计算规则集及确定怀证明,该类语言以表达式的复合描述顺序,以迭代表达式描述循环,以条件表达式描述分支,使得程序以数学语义为基础,易于理解,证明及构造高效的执行系统,相信该类语言是一咱有坚实理论基础、高效的、实际有用的高级确定性程序设计语言。
|
关 键 词: | 迭代算子 函数式语言 程序设计 程序语言 |
本文献已被 维普 等数据库收录! |
|