| 复杂算法程序的规范证明和形式推导 |
| |
| 引用本文： | 薛锦云.复杂算法程序的规范证明和形式推导[J].江西师范大学学报(自然科学版),1992,16(3):195-202. |
| |
| 作者姓名： | 薛锦云 |
| |
| 作者单位： | 江西师范大学计算机系 |
| |
| 摘 要： | 能否实现复杂算法程序的规范证明和形式推导是检验某种形式化方法有无生命力的重要标志。本文介绍了这一领域的研究现状,重点综述了作者近年来提出的复杂算法程序形式化技术,以典型实例说明了使用这些技术的方法。
|
| 关 键 词： | 算法程序 形式化 算法设计 |
The Standard Proof and Formal Derivation of the Complex Algorithm Program |
| |
| Xue Jinyun.The Standard Proof and Formal Derivation of the Complex Algorithm Program[J].Journal of Jiangxi Normal University (Natural Sciences Edition),1992,16(3):195-202. |
| |
| Authors: | Xue Jinyun |
| |
| Institution: | Dept. of Computer Science |
| |
| Abstract: | Whether the standard proof and formal derivation of the complex algorithmicprograms can be implemented is an important sign for checking if a formal method has vitality. In this paper we introduce the current research situation of this area, then pay special emphasis in summarizing several new formalization techniques of the complex algorithmic programs presented by the author in recent years and show the method of applying these techniques by several typical examples. |
| |
| Keywords: | formal technology of algorithmic program algorithm design data structure loop invariant |
| 本文献已被 CNKI 维普 等数据库收录！ |
