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
Platidiam
- An inorganic water-soluble platinum complex. After undergoing hydrolysis, it reacts DNA produce both intra interstrand crosslinks. These crosslinks appear to impair replication and transcription of DNA. The cytotoxicity cisplatin correlates with cellular arrest in G2 phase cell cycle.