若干新的算法程序设计和证明方法研究

以上一基金课题中提出的新概念和新方法为基础，通过对算法程序本质、设计方法和创造性思维过程的深入研究，提出了统一的设计和证明算法程序的分划递推法，新的算法表示法和迭代算子的新定义和通用模式。这些创造性成果写成20篇论文和一部学术专著初稿，已经或即将在国际国内重要学术刊物（如计算机科学技术学报（英文刊）、软件学报、软件概念和工具（英文刊）等）发表，得到Knuth等我位国际国内著名专家的重视和赞扬，总体上上人国际先进水平，特别是提出的分划递推法，更受到国际计算机界的重视。它对传统的算法程序设计和证明方法会产生革命性影响，还可以发展成为一种简单实用的软件形式化方法，建成相应的程序自动转换工具。