Static
A term for an object that doesn't move or change, that is, is not dynamic.A computer language is a static object, as are all such published utilities.
Note that being static is also a relative term, that partial evaluation takes advantage of conceptually. Information which is often only dynamically-knowable can be treated like statically-knowable information in order to build a specialized/optimized version of an object. Conversely, statically-knowable information can be accessed and made dynamic via reflective modification.
Programming languages are often said to be statically-typed if they have a non-trivial type system which must be satisfied without dynamic run-time information in order to be allowed to execute (satisfying an often poor proof).
This page is linked from: Communism Dynamism KnowOS Monopoly Security Statism Supercompilation Tradition Type System User Rights