In certain programming languages, the meaning of certain names may be fully determined at compile-time (i.e. without running the program).
A function in
C has global scope; when the name of the function is used somewhere else in the program (and the variable is not shaded by another variable of the same name) it is always exactly that function that is being referenced, and the compiler can just inline the memory-address of that function.
What is the general term for such symbols of which the meaning is known fully at compile-time? I am tempted to go with "static", but that term seems to be mean very many things in different contexts. Is there a more unambiguous term for this phenomenon?