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.
Livre rouge
Norme définissant les formats de CD-ROM.