特别的递归，很容易转换为迭代。
结构化的非区部控制流程.有些程式语言会提供非区部的控制流程（non-local control flow），会允许流程跳出目前的程式码，进入一段事先指定的程式码。常用的结构化非区部控制流程可分为条件处理、异常处理及延续性（Continuation）三种。
条件处理.PL/I程式语言中有22种标准的条件（如 ZERODIVIDE SUBSCRIPTRANGE ENDFILE），可以在程式中设定，当特定条件成立时需进行的指令，程