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.
Technical Report
in Organisations | np | en
Document sans caractère normatif résumant les résultats d'un groupe de travail sur un thème technique