Loop invariant
id:
loop-invariant-242-1278924
title:
Loop invariant
text:
In computer science, a loop invariant is a property of a program loop that is true before each iteration. It is a logical assertion, sometimes checked with a code assertion. Knowing its invariant(s) is essential in understanding the effect of a loop. In formal program verification, particularly the Floyd-Hoare approach, loop invariants are expressed by formal predicate logic and used to prove properties of loops and by extension algorithms that employ loops.
The loop invariants will be true on e
brand slug:
wiki
category slug:
encyclopedia
description:
Invariants used to prove properties of loops
original url:
https://en.wikipedia.org/wiki/Loop_invariant
date created:
date modified:
2023-08-18T22:47:40Z
main entity:
{"identifier":"Q2238838","url":"https://www.wikidata.org/entity/Q2238838"}
image:
fields total:
13
integrity:
14