coherence-invariant

英[kəʊ'hiərənsɪnv'eəriənt] 美[kəʊ'hiərənsɪnv'eəriənt]
  • 凝聚不变式
  • coherence n.一致;连贯
  • data n.数据;资料名词datum的复数形式.
  • volume n.卷;体积;册;音量;容量
    1. The paper contributes to developing non-recursive algorithm using formal method and new strategy of developing loop invariant.
      对使用形式化方法及循环不变式开发新策略开发非递归算法作了较深入的实践和探讨。