は通常のループ内で値の変化を検出する手段として使われ、値のグループの処理のトリガーとなる。ループ内で変化する値（群）をキーで監視し、可変な値に関連したグループイベント処理へとプログラムのフローを変換する。
 LOOP
コレクション制御ループ.
汎用の繰り返し.
無限ループ.
場合によっては無限にループする方がプログラムに適していることもあるし、何らかのエラーが発生するまでループするという場合もある。実際、イベント駆動型プログラム（サーバなど）はイベント制御ループを永遠に回り続け、プロセスが操作者によって終了させられたときだけループを停止する。
ただし一般には、無限ループはプログラミングのミスで発生する。すなわち、ループ終了条件がループ内で全く発生しないことが原因で意図しない無限ループとなる。
次の繰り返しへの継続.
現在の繰り返しの再実行.
ループの再実行.
ループからの早期脱出.
 break
ループ変化条件とループ不変条件.
とループ不変条件は、ループの正しさを表すのに使われる。
現実的には、ループ変化条件とは非負の初期値を持つ整数式である。変化条件はループを回るたびに減少しなければならないが、正しいループ実行の間は負の値になってはならない。ループ変化条件はループが終了するであろうことを保証するのに使われる。
ループ不変条件は、ループを回る前と各反復において真でなければならない表明である。すなわち、ループが正しく終了するには終了条件とループ不変条件が共に真でなければならない。ループ不変条件は、ループ実行中にループの具体的属性を監視するのに使われる。
サブ言語としてのループ.
構造化非局所制御フロー.
条件.
典型的な文法例:
例外.
try {
} catch (...) { // 既にキャッチされていない任意の値をキャッチ
try {
try
提案された制御構造.
途中にテストのあるループ.
 repeat; repeat;
一般に、任意のループ構造と、条件分岐とbreakを組み合わせて、同様のプログラムを書ける（これは要するに、どんな制御構造も、コンパイルされれば機械語では分岐命令になる、ということと同様のことを言っている）。
 if (not test)
 break
複数早期脱出と入れ子ループからの脱出.
ザ・ビートルズ・セカンド・アルバム
解説.