Comefrom文
コード内の移動元のポイントは、通常comefromの引数として指定される。指定されたポイントで移動が発生するかどうかは、使用される言語によって異なる。同じ移動元を指定するcomefrom文が複数ある場合、言語によって、そのようなcomefromは無効となるもの、非決定的となるもの、定義済みの優先順位で実行されるものや、INTERCALのような並列計算もしくは並行計算が行われるものがある。
comefrom文の簡単な例"comefrom x"で説明する。この文は、トラップドアとして機能するラベル x と対になって使用される。このラベルは、対応するcomefrom文の近くに物理的に配置する必要はない。コードの実行がラベルに達すると、対応するcomefrom文に制御が移動する。if文の中にラベルがある場合は、goto文の場合と同様に、if文の条件が満たされた場合のみ移動が行われる。goto文がコードのローカル構造のみに依存するのに対し、comefrom文はグローバル構造に依存する。