¿Qué es un flujo de ejecución? El flujo de ejecución de un programa es el orden en el que las sentencias se ejecutan. Sin considerar las funciones, el flujo de ejecución comienza con la primera sentencia del programa, y las sentencias se ejecutan de arriba hacia abajo.