Home > Term: invariant de boucle
invariant de boucle
Une expression logique spécifiant un ou plusieurs des conditions qui doivent être remplies chaque fois qu'un point particulier dans une boucle de programme est exécutée.
- Part of Speech: noun
- Industry/Domain: Computer; Software
- Category: Software engineering
- Organization: IEEE Computer Society
0
Creator
- Roux
-
(V.I.P) 14865 points - 100% positive feedback
(Le Mans, France)
