Semantics In a programming language, the semantics defines what programs do: their behavior and meaning.