Corrélation de noms

La corrélation de noms est l'association d'entités (données et / ou code) avec des identificateurs.  Un identifiant lié à un objet est dit référencer cet objet.

Les langages machine n'ont pas de notion d'identifiants intégrée, mais les liaisons nom-objet en tant que service et la notation pour le programmeur sont implémentées par les langages de programmation. La liaison est intimement liée à la portée, car scope détermine quels noms lient à quels objets - à quels emplacements du code de programme (lexicalement) et dans lequel des chemins d’exécution possibles (temporellement).

L'utilisation d'un identifiant id dans un contexte qui établit une liaison pour id est appelée une occurrence de liaison (ou définition). Dans toutes les autres occurrences (par exemple, dans les expressions, les assignations et les appels de sous-programmes), un identifiant correspond à ce à quoi il est lié; de telles occurrences sont appelées occurrences appliquées