Une technique de programmation dans lequel les boucles sont évités en affirmant explicitement et en pleine tous les instructions qui seraient impliqués dans l'exécution de chaque boucle.