In alcuni linguaggi di programmazione, il significato di determinati nomi può essere completamente determinato in fase di compilazione (cioè senza eseguire il programma).
Esempio:
Una funzione in C
ha portata globale; quando il nome della funzione viene utilizzato da qualche altra parte nel programma (e la variabile non è ombreggiata da un'altra variabile con lo stesso nome) è sempre esattamente quella funzione a cui viene fatto riferimento, e il compilatore può solo inline l'indirizzo di memoria di quella funzione.
Qual è il termine generale per tali simboli di cui il significato è noto completamente al momento della compilazione? Sono tentato di andare con "statico", ma quel termine sembra significare molte cose in diversi contesti. C'è un termine più inequivocabile per questo fenomeno?