denotational semantics

Contents

EnglishEdit

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