论程序正确性的证明法则——兼对McCarthy91函数定义的讨论

本文利用程序设计方法学的断言,逐步推导论证了一个正确的程序设计,并修正了McCarthy91函数的定义,严密地叙述该定义的函数值的范围。由此而引深论述了程序正确性的证明法则——Haare公里系统,逐一论述了它们在计算机程序设计中的应用和具有的深远意义。