一个形式化的程序设计方法及其实验系统 |
| |
引用本文: | 李昭仁.一个形式化的程序设计方法及其实验系统[J].计算机学报,1985(1). |
| |
作者姓名: | 李昭仁 |
| |
作者单位: | 北京航空学院 |
| |
摘 要: | 本文提出了一个形式化的程序设计方法,即以循环不变式为指导,运用程序变换规则从程序说明逐步地形式化地推争程序。生成的程序对于输入说明和输出说明是正确的。我们使用正则自动机作为程序的算法模型。这种算法模型具有通用性,它表示的程序可以等价地变换为某种程序设计语言的程序文本,如FORTRAN或PASCAL程序。 文中提出了“程序语句生成器”的概念及有关的程序变换规则,论述了利用循环不变式自动构造循环程序的原则和方法。文章还扼要介绍了应用这个方法的一个小型自动程序设计实验系统APES-82。
|
本文献已被 CNKI 等数据库收录! |
|