带迭代算子的函数式程序设计

作     者：阎志欣 

出 版 物：《软件学报》 (Journal of Software)

年 卷 期：1996年第7卷第A期

页      码：239-248页

摘      要：本文提出了程序设计语言的一种新的计算模型，带迭代处子的函数式模型，文中给出了基于该计算模型的程序设计语言的语法、计算规则集及确定怀证明，该类语言以表达式的复合描述顺序，以迭代表达式描述循环，以条件表达式描述分支，使得程序以数学语义为基础，易于理解，证明及构造高效的执行系统，相信该类语言是一咱有坚实理论基础、高效的、实际有用的高级确定性程序设计语言。

主 题 词：迭代算子 函数式语言 程序设计 程序语言 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

馆 藏 号：203486253...