子程式
| 「子程式」的各地常用名稱 | |
|---|---|
| 中國大陸 | 子程序、子例程 |
| 臺灣 | 子程式、副程式、次程式、次常式 |
在電腦科學中，子程式（德語：unterprogramm，英語：subroutine, subprogram, callable unit），是一個大型程式中的某部份程式碼，由一個或多個陳述式塊組成。它負責完成某項特定工作，而且相較於其他程式碼，具備相對的獨立性。
一般會有輸入參數並有傳回值，提供對程式的封裝和細節的隱藏。這些代碼通常被整合為軟件庫。
函數在程序導向的語言中已經出現。是結構（struct）和類別（class）的前身。本身就是對具有相關性陳述式的歸類和對某程式的抽象。
分類
子程式是一個概括性的術語，子程式是所有高階程式所稱。它經常被使用在匯編語言層級上。子程式的主體（body）是一個程式碼區塊，當它被呼叫時就會進入執行。
函數
| 「函數」的各地常用名稱 | |
|---|---|
| 中國大陸 | 函數 |
| 臺灣 | 函式、函數 |
| 港澳 | 函數 |
函數（function）是一種子程式，利用函數名稱，可以接收回傳值。例如：
c = max(a,b);
程序
| 「程序（procedure）」的各地常用名稱 | |
|---|---|
| 中國大陸 | 過程 |
| 臺灣 | 程序 |
| 港澳 | 程式 |
程序（procedure）是一種子程式，它能夠接受不同的引數，來執行某些特別的動作。例如：
printf("Hello World\n");
函數與程序在某些程式語言中是被分開的，但是在C語言中，所有程序都是函數，這兩者被認為是相同的。這有可能造成一些副作用，特別是在回傳值是void型別時。