denotational semantics
Short definition from Wiktionary
Noun
- An approach to formalizing the meanings of programming languages by constructing mathematical objects called denotations which describe the meanings of expressions from the languages.
We haven’t written up denotational semantics yet: Simple and Standard meanings, examples and a quiz.