invariant de boucle
- Domaine
-
- informatique
Définition :
Assertion qui est vraie durant toute l'exécution d'une boucle.
Terme :
- invariant de boucle n. m.
Traductions
-
anglais
Auteur : Association canadienne de normalisation,Définition
An assertion that holds throughout a loop construct.
Terme :
- loop invariant