语言或是函数程式语言中，都有类似的概念。在宣告式的程式语言中，流程控制指令是指会改变程式执行顺序的指令，可能是执行不同位置的指令，或是在二段（或多段）程式中选择一个执行。不同的程式语言所提供的流程控制指令也会随之不同，但一般可以分为以下四种：中断以及Unix系统中的信号等较低阶的机制也可以造成类似子程序的效果，不过通常这类机制会用来回应外部的事件或是输入。程序自修改因为其对程式码的影响，也会影响控制流程，但多半不会有明显的流程控制指令。在机器语言或汇编语言中，流程控制是借由修改程式计数器数值