Noun
denotational semantics (uncountable)
(computer science) An approach to formalizing the meanings of programming languages by constructing mathematical objects called denotations which describe the meanings of expressions from the languages.
Denotational semantics of state State (such as a heap) and simple imperative features can be straightforwardly modeled in the denotational semantics described above. Source: Internet
Denotations of recursive programs Denotational semantics are given to a program phrase as a function from an environment (that has the values of its free variables) to its denotation. Source: Internet
Denotational semantics as source-to-source translation It is often useful to translate one programming language into another. Source: Internet