The *(term) that applies in various ways to describe what a program means. There are denotational semantics for describing the input/output effects of a program, for example. Category-theoretic semantics use the concepts of category theory.