子目标归纳法及其应用示例

子目标归纳法是继各种归纳方法之后出现的又一种验证程序的方法。本文从递归和循环两个方面描述这种方法,给出了作者实践过的用子目标归纳法证明程序正确性的例题,揭示了子目标归纳法与归纳断言法的关系。