loop invariant

English

Noun

loop invariant (plural loop invariants)

(computer science) an invariant that should be true on entry into a loop and is guaranteed to remain true on every iteration of the loop

Translations

invariant guaranteed to remain true on every iteration of a loop

Icelandic: lykkjuóbreyta f

This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.