loop invariant [İngilizce]

döngü sabiti

1. • 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