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.
- Kalbos dalis: noun
- Pramonės šaka / sritis: Computer; Software
- Category: Software engineering
- Organization: IEEE Computer Society
0
Kūrėjas
- Roux
-
(V.I.P) 14865 points - 100% positive feedback
(Le Mans, France)
