For compiled languages, static semantics essentially include those semantic rules that can be checked at compile time.
За компилирани јазици, статичната семантика во суштина вклучува семантички правила кои можат да се проверат со компајлирање.