loop invariant
luːp ɪnˈvɛərɪənt
Definition

Definition of loop invariant - Reverso English Dictionary

Noun

computer scienceTECH.condition that remains true during loop executionTECH.
  • The loop invariant helps ensure the algorithm's correctness.
  • A loop invariant is crucial for proving loop termination.
  • Understanding the loop invariant simplifies debugging complex loops.
invariant
Add a suggestion |

View all translations of loop invariant

Click below to see the appropriate translations facing each meaning.
  1. French:invariant de boucle, ...
  2. German:Schleifeninvariante, ...
  3. Italian:invariante del ciclo, ...
  4. Spanish:invariante del bucle, ...
  5. Portuguese:invariante do ciclo, ...
  6. Chinese:循环不变式, ...
  7. Japanese:ループ不変条件, ...
  8. Arabic:ثابِت الحَلْقَة, ...
  9. Hebrew:תְּנַאי קֶבַע, ...
  10. Russian:инвариант цикла, ...
  11. Ukrainian:інваріант циклу, ...
  12. Hindi:लूप इनवेरिएंट, ...
Browse the dictionary entries starting with “l”:

Discover how Reverso redefines the dictionary

Go beyond “simple words”

Get more than a simple definition

Go from understanding to mastery