程序设计方法初探

Preliminary Study of Design Method of Program

本文从程序的功能结构、数据结构和语义描述方面总结了进行程序设计的几种方法,并介绍了目前程序设计中的一种新方法:程序正确性证明法。

This paper sums up some typical methods in program design from three different aspects (i. e. functional structure, data structure and semantics) of program. It also introduces a new method in current program design-proofs of program correctness.