Static semantics