DENOTATIONAL SEMANTICS
\dɪnə͡ʊtˈe͡ɪʃənə͡l səmˈantɪks], \dɪnəʊtˈeɪʃənəl səmˈantɪks], \d_ɪ_n_əʊ_t_ˈeɪ_ʃ_ə_n_əl s_ə_m_ˈa_n_t_ɪ_k_s]\
Sort: Oldest first
-
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.
By Denis Howe
