Last modified on 20 April 2014, at 19:50

denotational semantics

EnglishEdit

Wikipedia has an article on:

Wikipedia

NounEdit

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 termsEdit

TranslationsEdit