In dipendenza da una ben definita condizione (per es., se il valore di una certa variabile è maggiore di 0), l’esecuzione continua in un altro punto del codice, altrimenti prosegue normalmente con l’istruzione successiva.
Le istruzioni di controllo del flusso regolano l’ordine di esecuzione delle istruzioni di un programma e sono indispensabili per l’ implementazione di ogni algoritmo non banale. L’istruzione fondamentale è il cosiddetto trasferimento condizionato del controllo. In dipendenza da una ben definita condizione (per es., se il valore di una certa variabile è maggiore di 0), l’esecuzione continua in un altro punto del codice, altrimenti prosegue normalmente con l’istruzione successiva. Utilizzando questo costrutto è possibile concatenare frammenti di codice formando strutture arbitrariamente complesse. Il paradigma della cosiddetta programmazione strutturata impone vincoli a queste strutture, con il fine di rendere i programmi più facili da comprendere, correggere e modificare. Sono permesse solo tre strutture di controllo: la sequenza, la selezione e l’iterazione, ognuna con un solo punto di ingresso e un solo punto di uscita. Esse possono essere combinate fra loro a seconda delle necessità.