• Im Programmtext  kann ein Bezeichner durch eine Vereinbarung (Deklaration) eingeführt werden; davon kann es mehrere geben. Hier spricht man vom definierenden Auftreten (defining occurrence). Jedes davon verhält sich wie eine Definition; deren Gültigkeitsbereich bestimmt sich durch die Blockstruktur.

  Jede andere Verwendung desselben Bezeichners im Programmtext ist ein angewandtes Auftreten (applied occurrence). In einem sinnvollen Programm ist jedes solche angewandte Auftreten an ein passendes definierendes Auftreten gebunden, also ihm zugeordnet; welches das ist, bestimmt sich aus der Schachtelung der Gültigkeitsbereiche, und es ist Aufgabe der "Namensanalyse" eines Compilers, diese Zuordnung herauszufinden.

  Wir sprechen bei dieser Art von Bindung von Namensbindung. Ein so gebundener Bezeichner kann ohne Änderung der Bedeutung des Programms konsistent (ohne Kollisionen!) umbenannt  werden.

Die eben besprochene Namensbindung  hat mit dem statischen Programmtext  zu tun und legt teilweise seine Bedeutung fest. Zur Laufzeit  des Programms kommen andere Vorgänge hinzu, die traditionell (leider) auch "Bindung" heißen:

• Bei der Aktivierung eines Blockes werden dem Block selbst und den darin deklarierten Variablen (Referenzen auf) Speicherobjekte zugeordnet, die als Behälter für Werte dienen. An das Objekt  (nicht an seinen Bezeichner!) wird ein Zugriffspfad auf seine aktuelle Realisierung gebunden. Dies wollen wir hier Objektbindung nennen.

  Ein Spezialfall davon ist die Umgebungsbindung: einer lokal deklarierten Prozedur oder Funktion wird das aktuelle Aktivierungsobjekt als unmittelbare Umgebung  zugeordnet.

• Wird eine Prozedur oder Funktion aufgerufen, so ist eine Korrespondenz zwischen den aktuellen Argumenten und den in der Prozedurvereinbarung erklärten formalen Parametern herzustellen; diese Korrespondenz nennen wir Argumentbindung.

• Schließlich betrachten wir im Programmtext von Prozeduren und Funktionen noch die Parameterbindung, welche die Korrespondenz zwischen den Parameterangaben im Prozedurkopf und den angewandten Vorkommen dieser Parameterbezeichner im Rumpf der Prozedur beschreibt. Sie ist ein Spezialfall der Namensbindung .