Потоком управления называют последовательность выполнения команд в ходе работы программы. При отсутствии переходов и вызовов процедур команды вызываются из последовательных ячеек памяти. Вызов процедуры влечет за собой изменение потока управления, выполнение последовательности прерывается, и начинается выполнение вызванной процедуры. Сопрограммы вызывают сходные изменения в потоке управления. Они нужны для моделирования параллельных процессов. Программы перехвата исключений и обработки прерываний тоже меняют поток управления при возникновении определенных ситуаций. Все это мы обсудим в следующих подразделах.