| 摘要: |
| 本文提出了程序设计语言的一种新的计算模型，带迭代算子的函数式模型．文中给出了基于该计算模型的程序设计语言的语法、计算规则集及确定性证明．该类语言以表达式的复合描述顺序，以迭代表达式描述循环，以条件表达式描述分支，使得程序以数学语义为基础，易于理解、证明及构造高技的执行系统．褶信该类语言是一种有坚实理论基础、高教的、实际有用的，高级确定性程序设计语言． |
| 关键词: 迭代算子，函数式语盲，归约,计算，确定性． |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到南京大学计算机软件研究所基金和航空科学技术基金资助. |
|
| FUNCTION PROGRAMMING WITH ITERATION OPERATOR |
|
Yan Zhixin
|
| Abstract: |
| A new computation model of programming language，function model with
iteration operator was presented．The syntax of language based on the model，the set of
computation rules and a proof of determinism were given．In this language，sequence is
expressed by composition of expressions，branch by condition expressions and iteration by
iterative expressions．such that its programs are based on mathematical semantic founda-tion，easy to understand，prove its correctness and constitute efficient execution system．
The authors believe that this language is an efficient，useful and practical，high—level de-
terministic programming language with sound theoretical foundation． |
| Key words: Iteration operator,function language,reduction,computation,determinism． |
