Static Checking

A form of checking performed by the compiler before program execution, inferring safety from the structure of the source code. Its advantages are zero runtime cost and deterministic performance; its cost is imposing more constraints on the forms of code expression.