denotational semantics
Noun

denotational semantics (uncountable)

  1. (computer science) An approach to formalizing the meanings of programming languages by constructing mathematical objects called denotations which describe the meanings of expressions from the languages.
Related terms
  • axiomatic semantics
  • operational semantics



This text is extracted from the Wiktionary and it is available under the CC BY-SA 3.0 license | Terms and conditions | Privacy policy 0.003
Offline English dictionary