Denotational Semantics is a Formal Semantics approach where each phrase in a language is interpreted as a denotation, a mathematical object inhabiting a mathematical space. It defines what a program means, not how it executes.
Denotational Semantics is a Formal Semantics approach where each phrase in a language is interpreted as a denotation, a mathematical object inhabiting a mathematical space. It defines what a program means, not how it executes.