<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.
demo version « Denis Howe « Dennis Ritchie «
denotational semantics » Denotational Semantics
Language » Department of Defense » Department of