 Denotational semantics

Denotational semantics is a formal methodology for specifying the meanings of programming languages. It focuses on defining the meaning of programs mathematically, rather than using operational semantics, which describes how programs execute on a machine. The key idea in denotational semantics is to map each phrase or construct of a programming language to a mathematical object representing its meaning.