河海大学学报(自然科学版)
河海大學學報(自然科學版)
하해대학학보(자연과학판)
JOURNAL OF HOHAI UNIVERSITY (NATURAL SCIENCES)
2000年
6期
111-114
,共4页
对半检索%不变式%程序正确性
對半檢索%不變式%程序正確性
대반검색%불변식%정서정학성
Wirth在<算法+数据结构=程序>一书中关于"对半检索"程序中给出了一个不变式,但该不变式是不完善的.本文对此予以了修正,并通过一系列定理及其证明进行了完整的论证.在论证过程中,也揭示出程序作为一种对象,其整体的一些性质.程序的这些特性,在一般测试时未必能被认识.因而程序中的"不变式"及对"不变式"的论证,也应是程序中最有价值的资料.
Wirth在<算法+數據結構=程序>一書中關于"對半檢索"程序中給齣瞭一箇不變式,但該不變式是不完善的.本文對此予以瞭脩正,併通過一繫列定理及其證明進行瞭完整的論證.在論證過程中,也揭示齣程序作為一種對象,其整體的一些性質.程序的這些特性,在一般測試時未必能被認識.因而程序中的"不變式"及對"不變式"的論證,也應是程序中最有價值的資料.
Wirth재<산법+수거결구=정서>일서중관우"대반검색"정서중급출료일개불변식,단해불변식시불완선적.본문대차여이료수정,병통과일계렬정리급기증명진행료완정적론증.재론증과정중,야게시출정서작위일충대상,기정체적일사성질.정서적저사특성,재일반측시시미필능피인식.인이정서중적"불변식"급대"불변식"적론증,야응시정서중최유개치적자료.
