The semantics of a language defines the meaning of programs, how they behave when they are executed on a computer.