一个形式化的程序设计方法及其实验系统

作     者：李昭仁 LI ZHAOREN (Beijing Institute of Aeronautics and Astronautics)

作者机构：北京航空学院 

出 版 物：《计算机学报》 (Chinese Journal of Computers)

年 卷 期：1985年第11卷第1期

页      码：8-18页

摘      要：本文提出了一个形式化的程序设计方法,即以循环不变式为指导,运用程序变换规则从程序说明逐步地形式化地推争程序。生成的程序对于输入说明和输出说明是正确的。我们使用正则自动机作为程序的算法模型。这种算法模型具有通用性,它表示的程序可以等价地变换为某种程序设计语言的程序文本,如FORTRAN或PASCAL程序。 文中提出了“程序语句生成器”的概念及有关的程序变换规则,论述了利用循环不变式自动构造循环程序的原则和方法。文章还扼要介绍了应用这个方法的一个小型自动程序设计实验系统APES-82。

主 题 词：程序设计方法 后缀 前置条件 算法模型 词缀 子程序语句 程序 不变式 形式化 实验系统 

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

馆 藏 号：203285196...