Un mécanisme essentiel pour la programmation d'applications de grande taille est la possibilité de transférer le contrôle de façon non locale d'une partie du programme à une autre partie du programme.
On dit qu'un tel transfert de contrôle (ou saut) est local si et seulement si la pile d'exécution ne peut pas être modifiée par le transfert, et qu'il est non local si la pile d'exécution peut être modifiée. Les conditionnelles comme if, cond, etc représentent donc des sauts locaux. Dans ce chapitre, nous examinons les sauts non locaux.