Processus
Chargement dynamique

Dans un processus, lors d'un appel de fonction

f (N)
f est dans le module courant
sa valeur est liée à la compilation
sa disponibilité est vérifiée

m:f (N)
f se trouve dans le module m (peut-être le module courant)
sa valeur n'est pas liée à la compilation
sa disponibilité n'est pas garantie