「制御構造」の版間の差分

2013年5月6日 (月) 04:59時点における版

2014年5月28日 (水) 15:18時点における版

322行目:

=== ループ変化条件とループ不変条件 ===

{{仮リンク|ループ変化条件|en|Loop variant}}と{{仮リンク|[[ループ不変条件|en|loop invariant}}]]は、ループの正しさを表すのに使われる<ref>{{Cite book|last=Meyer|first=Bertrand|title=Eiffel: The Language|year=1991|publisher=Prentice Hall|pages=129–131}}</ref>。

現実的には、ループ変化条件とは非負の初期値を持つ整数式である。変化条件はループを回るたびに減少しなければならないが、正しいループ実行の間は負の値になってはならない。ループ変化条件はループが終了するであろうことを保証するのに使われる。