Denotational Semantics ____________________________________________________________________________ ____________________________________________________________________________…