bn:03392718n
Noun Concept
NL
lusinvariant
EN
In computer science, a loop invariant is a property of a program loop that is true before each iteration. Wikipedia
Relations
Sources
PART OF
Wikipedia Translations