Definition of "denotational semantics" []

• An approach to formalizing the meanings of programming languages by constructing mathematical objects called denotations which describe the meanings of expressions from the languages. (noun)

Wiktionary.org : Text is available under the Creative Commons Attribution-ShareAlike License