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