控制流程（也称为流程控制）是电脑运算领域的用语，意指在程序运行时，个别的指令（或是陈述、子进程）运行或求值的顺序。不论是在宣告式编程语言或是函数编程语言中，都有类似的概念。

在宣告式的编程语言中，流程控制指令是指会改变程序运行顺序的指令，可能是运行不同位置的指令，或是在二段（或多段）程序中选择一个运行。

不同的编程语言所提供的流程控制指令也会随之不同，但一般可以分为以下四种：

中断以及Unix系统中的信号等较低级的机制也可以造成类似子进程的效果，不过通常这类机制会用来回应外部的事件或是输入。进程自修改因为其对代码的影响，也会影响控制流程，但多半不会有明显的流程控制指令。

In computer science, control flow (or alternatively, flow of control) is the order in which individual statements, instructions or function calls of an imperative program are executed or evaluated. The emphasis on explicit control flow distinguishes an imperative programming language from a declarative programming language.