ALL meanings of denotational semantics
- noun Technical meaning of denotational semantics (theory) A technique for describing the meaning of programs in terms of mathematical functions on programs and program components. Programs are translated into functions about which properties can be proved using the standard mathematical theory of functions, and especially domain theory. Compare axiomatic semantics, operational semantics, standard semantics. 1
- noun denotational semantics (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. 0