denotational semantics.