Programming language semantics
= Programming language semantics
The meaning of constructs in a <programming language>, including their permitted values and execution behavior. <Programming language syntax> organizes constructs; a <type system> and execution rules give further constraints and meaning.