For example, compile-time requirements are programming language requirements that must be met by source code before compilation and compile-time properties are properties of the program that can be reasoned about during compilation.
The determination of execution model have been set during the compile time stage.
For example, languages may stipulate that the amount of storage required by types and variables can be deduced.
Compile-time occurs before link time (when the output of one or more compiled files are joined) and runtime (when a program is executed).
Although in the case of dynamic compilation, the final transformations into machine language happen at runtime.