Déplacement des invariants de boucle
Sign in to savecode statements that can be moved outside the body of a loop without affecting the semantics of the program
Article · Français
En programmation informatique, les invariants de boucle sont des instructions[réf. nécessaire] ou des expressions d'un langage de programmation impératif qui peuvent être déplacées hors du corps de la boucle sans affecter le résultat du programme. Le déplacement des invariants de boucle est une optimisation assurée par le compilateur qui effectue automatiquement ce déplacement.
Abstract from DBpedia / Wikipedia · CC BY-SA