loop invariants

英 美
  • 循环不变式
  • invariants 不变序列
  • loop n.环;圈;回路;环形线路vt.以圈结;以环连结;使...成环(圈)vi.形成环;环形运动
    1. The paper contributes to developing non-recursive algorithm using formal method and new strategy of developing loop invariant.
      对使用形式化方法及循环不变式开发新策略开发非递归算法作了较深入的实践和探讨。