Types of semantics in programming languages