invariant de boucle

Désignations

français	invariant de boucle (correct,masculine noun,standardized) OBS: invariant de boucle : désignation et définition normalisées par l'ISO et la Commission électrotechnique internationale; désignation normalisée par l'Association canadienne de normalisation (CSA).
anglais	loop invariant (correct,noun,standardized) OBS: loop invariant: designation and definition standardized by ISO and the International Electrotechnical Commission; designation standardized by the Canadian Standards Association (CSA).
espagnol	invariante de bucle (correct,feminine noun) CONT: Las invariantes de bucles se utilizan para demostrar la corrección (exactitud) de algoritmos iterativos.

Codes : pays ou zone où la désignation a cours (CH, FR, DE, EU = Union européenne, INT = usage international). Une désignation barrée est déconseillée.

Définitions

français: Condition qui est invariante tout au long de l'exécution d'une boucle.
anglais: A condition that is invariant throughout a loop.
espagnol: [...] condición que es verdadera antes y después de la ejecución de un bucle.

Classement

Collections

Électronique et informatique informatics

Domaines

Programmes et programmation (Informatique)

API

curl -H "Authorization: Token VOTRE_CLE" \
  "https://opendata.altius-group.ch/language/terminology/api/v1/concepts/termium-23fe1e1d6cc6fd90/"

Données : TERMIUM Plus, Bureau de la traduction, gouvernement du Canada. Licence du gouvernement ouvert – Canada.