计算机程序设计的公理基础

这篇文章对计算机程序设计的公理基础作了探索性说明;阐述了程序证明的部分公理和推理规则,并给出了实例;从理论和实践两个方面对采取公理方法证明程序和作形式语言定义可能得到的好处进行了全面评述。这篇文章在程序正确性证明或软件实现方面占有一定地位,自发表以来被广为引用,而且的确产生了许多可喜的结果。