Introduction
En informatique, un sous-programme est un sous-ensemble du programme dans sa hiérarchie fonctionnelle. Un sous-programme doit pouvoir mémoriser l'adresse du code appelant pour permettre, à l'aide d'une instruction spécifique, de charger le pointeur de programme avec cette adresse de retour .
Cela correspond bien souvent à une fonction ou une procédure. La notion de sous-programme est cependant un peu plus générale, car il ne possède pas nécessairement son propre espace de noms. C'était le cas par exemple des sous-programmes appelés par l'instruction GOSUB des dialectes historiques du BASIC. Dans ce type de langage la notion de variable locale n'existe donc pas.
Ce terme est utilisé dans le contexte d'une conception fonctionnelle d'un logiciel, c’est-à-dire lorsque son architecture a été pensée et construite à partir de fonctions.