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
Word of the day
Dopamine Acetyltransferase
- An enzyme that catalyzes the of groups from acetyl-CoA to arylamines. They have wide specificity for aromatic amines, particularly serotonin, and can also catalyze acetyl transfer between arylamines without CoA. EC 2.3.1.5.