O tehnica de programare în care buclele sunt evitate prin care să ateste în mod explicit şi în toate plin de instrucţiuni care ar fi implicat în executarea de fiecare buclă.