Инвариант цикла
Инвариант цикла — в программировании — логическое выражение, истинное после каждого прохода тела цикла (после выполнения фиксированного оператора) и перед началом выполнения цикла, зависящее от переменных, изменяющихся в теле цикла. Инварианты используются в теории верификации программ для доказательства правильности результата, полученного циклическим алгоритмом.
Q80006
программировании
Concept
Q1979515
логическое выражение
Concept
Q8868615
тела цикла
Concept
Q613299
оператора
Concept
Q953429
верификации
Concept
Q40056
программ
Concept
Q2238838
Инвариант цикла
Concept
part of