Invariant
Définition
Elément constant d'une boucle de contrôle. Par exemple, dans une boucle
while(cond) do bloc end
, l'invariant est (not cond) or bloc
.while(cond) do bloc end
, l'invariant est (not cond) or bloc
.
Blue Screen Of Death