Definition-Verwendungspaar

Die Verknüpfung einer Definition einer Variablen (im Sinne einer Wertzuweisung) mit einer nachfolgenden Verwendung dieser Variablen in der dynamischen Ausführung. Variablenverwendungen können in Berechnungen sein (z.B. Multiplikation) oder die Ausführung von Pfaden steuern (prädikative Verwendung).