利用循环不变式理解和开发程序

本文论述了循环不变式及其开发技术和程序设计的联系，并通过实例说明循环不变式在理解和开发程序中的巨大作用。