denotational semantics


denotational semantics

(theory)A technique for describing the meaning of programs interms of mathematical functions on programs and programcomponents. Programs are translated into functions aboutwhich properties can be proved using the standard mathematicaltheory of functions, and especially domain theory.

Compare axiomatic semantics, operational semantics,standard semantics.