对Wirth一个不变式的修正

摘要：

Wirth在<算法+数据结构=程序>一书中关于"对半检索"程序中给出了一个不变式,但该不变式是不完善的.本文对此予以了修正,并通过一系列定理及其证明进行了完整的论证.在论证过程中,也揭示出程序作为一种对象,其整体的一些性质.程序的这些特性,在一般测试时未必能被认识.因而程序中的"不变式"及对"不变式"的论证,也应是程序中最有价值的资料.

关键词：对半检索、不变式、程序正确性

所属期刊栏目：28

分类号：TP301(计算技术、计算机技术)

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：111-114