Properties of the program that can be reasoned about during compilation.
Programming language requirements that must be met by source code for it to be successfully compiled (the “compile-time requirements”).
Operations performed by a compiler (the “compile-time operations”).