. 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?