摘要
对于用ＦＯＸＰＲＯ语言设计的汇总程序，本文提出一个用于描述其正确性的形式化方法．作为示例。
A formal method used for describing correctly the total programs designed with FOXPRO is presented in this paper. As an example, a procedure of verifying the partial correctness of the core of it is shown, too.
出处
《青岛大学学报（自然科学版）》
CAS
1996年第3期20-24,共5页
Journal of Qingdao University(Natural Science Edition)
