Denotational semantics is a formal method for expressing the meaning of programming languages by constructing mathematical objects called domains that represent the possible values a program can compute. It provides a framework for proving the correctness of programs and reasoning about their behavior in a compositional manner, where the meaning of a complex expression is derived from its parts.