在电脑科学中，子程序（德语：unterprogramm，英语：subroutine, subprogram, callable unit），是一个大型程序中的某部分代码，由一个或多个语句块组成。它负责完成某项特定任务，而且相较于其他代码，具备相对的独立性。

一般会有输入参数并有返回值，提供对过程的封装和细节的隐藏。这些代码通常被集成为软件库。

函数在面向过程的语言中已经出现。是结构（struct）和类（class）的前身。本身就是对具有相关性语句的归类和对某过程的抽象。

分类

子程序是一个概括性的术语，子程序是所有高阶程序所称。它经常被使用在汇编语言层级上。子程序的主体（body）是一个代码区块，当它被调用时就会进入执行。

函数

函数（function）是一种子程序，利用函数名称，可以接收回传值。例如：

c = max(a,b);

过程

过程（procedure）是一种子程序，它能够接受不同的引数，来执行某些特别的动作。例如：

printf("Hello World\n");

函数与过程在某些编程语言中是被分开的，但是在C语言中，所有过程都是函数，这两者被认为是相同的。这有可能造成一些副作用，特别是在回传值是void类型时。

方法

在面向对象编程语言中，类或物件中的子程序，被称为方法（method）。