Una tècnica de programació en què bucles s'eviten en afirmar explícitament i en plena tot de les instruccions que es veuria embolicat en l'execució de cada bucle.