摘要: 本文提出一个在WANG-2200计算机上实现的循环断言生成系统,它不仅对没有数组的循环程序而且对具有数组的循环程序都能生成循环断言。