döngü sabiti

bilişim

Programlama döngüsünün her yinelenmesinde geçerliğini koruyan koşul.

İngilizce loop invariant

Fransızca invariant de boucle

Almanca Schleifeninvariante, f

Rastgele Terim: