Approaches for specifying programming language semantics, including operational, axiomatic, and denotational specification.