denotational_semantics