控制流程

標記是一個標示在源代码固定位置中的名稱或數字，其他位置的流程控制指令可以參考標記的位置，執行標記位置所對應的程式。標記本身不影響程式的進行，除了標示位置外，對程式執行沒有其他的作用。

有一些程式語言（像Fortran及BASIC等）利用行號作為標記。行號是標示在每一行程式最前面的自然數，不一定要是連續的數字，在不受流程控制指令影響的情形下，程式會從最小的行號依序執行，而流程控制指令需指定對應的行號。以下是一個BASIC的例子:

10 LET X = 3
20 PRINT "*"
30 LET X = X - 1
40 IF X > 0 THEN GOTO 20
50 END

在像是C及Ada等程式語言中，標記是一個標識符，一般出現在一行的最前面，後面會加一個冒號作為識別，以下是C語言的例子：

Success: printf ("The operation was successful.\n");

Algol 60語言同時支持整數（類似行號）及標識符的標記（二者後面都要加上冒號），不過其他Algol語言幾乎都不支援整數的標記。

goto 指令（來自英文go和to的組合）是無條件流程控制指令中最基本的型式。一般在程式中會用以下的方式出現（指令大小寫可能會依程式語言而不同）

   goto label

goto 指令的效果是調整程式的控制流程，後續就執行標記位置的程式。

goto 指令是許多的计算机科学家視為有害的指令，像荷兰计算机科学家艾茲格·迪科斯徹（Edsger Wybe Dijkstra）就提出了goto有害論[1]。

子程序（subroutine）可以用許多不同的術語來表示，例如程序、函數（尤其是有傳回值時）或是方法（特別是子程序屬於一個类的一部份）等。

子程序是是完成一项特定工作的代码序列，其他程式可以將流程移轉到子程序中，執行特定工作後再回到原來的程式，若程式中有許多部份都需要執行一特定工作，利用子程序的方式可以利用一段程式達到上述的功能，可以減少程式碼的長度。

如今子程序也常用來使得程式更加的結構化，例如可以將一些特殊的演算法或特殊的資料存取方式放在子程序中，和其他代碼隔離。子程序也是程式模組的一種，若許多程式設計師共同開發一個程式，子程序也有助於其工作的分割及分工。

PL/I程式語言中有22種標準的條件（如 ZERODIVIDE SUBSCRIPTRANGE ENDFILE），可以在程式中設定，當特定條件成立時需進行的指令，程式設計者也可以定義自己的條件，並在程式中使用。

條件成立時，只能設定一個需進行的指令（類似未結構化的if指令），大部份的應用中，都會指定執行goto指令，跳到其他程式碼執行對應的流程。

不過因為有些條件處理的實現會增加許多程式碼及執行時間（特別SUBSCRIPTRANGE），所以許多程式設計者會儘量不使用條件處理。

條件處理的語法如下:

 ON 條件 GOTO label

有些程式語言可提供不需要使用GOTO的結構化異常處理程式：

try {
    xxx1                                  // Somewhere in here
    xxx2                                  //     use: '''throw''' someValue;
    xxx3
} catch (someClass& someId) {             // catch value of someClass
    actionForSomeClass 
} catch (someType& anotherId) {           // catch value of someType
    actionForSomeType
} catch (...) {                           // catch anything not already caught
    actionForAnythingElse
}

在try{...}的區塊中，若有異常情形時，程式就會離開try的區塊，由後續的一個或多個catch子句判斷需執行何種異常處理。在D、Java、C#及Python程式語言中，try{...}區塊中還可以加入一個finally子句，不管程式流程是否離開try{...}區塊，finally子句中的程式都一定會執行，常用在當程式結束處理時，需要放棄一些外部資源（檔案或資料庫連結）的情形下：

FileStream stm = null;                    // C# example
try {
    stm = new FileStream ("logfile.txt", FileMode.Create);
    return ProcessStuff(stm);             // may throw an exception
} finally {
    if (stm != null)
        stm. Close();
}

由於上述情形相當普遍，C#提供一種特殊的語法進行相同的處理：

using (FileStream stm = new FileStream ("logfile.txt", FileMode.Create)) {
    return ProcessStuff(stm);             // may throw an exception
}

只要離開 using區塊，編譯器會自動釋放stm物件，Python的 with指令及也有類似的功能。

這些語言都有定義標準的異常情形及其出現的條件，程式設計者也可以丟出自己產生的異常（其實C++及Python的throw和catch支援絕大多數形態的物件）。

若某一個throw指令找不到對應的catch，控制流程會離開目前的副程式或控制結構，設法找到對應的catch，若到主程式的結尾還是找不到對應的catch，程式會強制結束，並顯示適當的錯誤訊息。

AppleScript脚本语言可以將"try"區塊分為幾個部份，提供不同的訊息及異常：

try
    set myNumber to myNumber / 0

on error e  number n  from f  to t  partial result pr

    if ( e = "Can't divide by zero" ) then display dialog "You idiot!"

end try

延續性（Continuation）可以將目前子程序的執行狀態（包括目前的堆疊，區部變數及執行到的位置）儲存成一個物件，後續在其他子程序中可以利用此物件回到此子程序現在的執行狀態。

延續性一詞也可以指第一類延續性（first-class continuation），是指程式語言可以在任意時間點儲存目前的執行狀態，並在之後回到之前儲存的執行狀態。

程式需要分配空間給子程序用到的區域變數，而且在子程序結束時需釋出這些變數用到的空間。許多程式語言利用調用堆疊來存放這些變數，可以簡單快速的分配及釋出空間。也有一些程式語言使用動態記憶體分配來儲存變數，可以較靈活的分配變數，但分配及釋出空間較不方便。這二個架構下延續性的處理方式也會不同，各有其優點及缺點。

Scheme語言利用call-with-current-continuation函數（縮寫為call/cc） 可提供延續性功能。