. What is stored in the state of a program for denotational semantics?

. Which semantics approach is most widely known?

What two things must be defined for each language entity in order to
construct a denotational description of the language?

. Which part of an inference rule is the antecedent?

. What is a predicate transformer function?