For programming languages one will distinguish

• syntax
• static semantics
• dynamic semantics

Static Semantics expresses global constraints

• types of variables and expressions (for example, types in an assignment must be compatible in a certain sense)
• visibility rules (for example a variable must be declared before being used)