Computing Dictionary
denotational semantics definition
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.
(1996-08-21)
