denotational semantics

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English

[edit]

Noun

[edit]

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.
[edit]

Translations

[edit]