denotational semantics
Appearance
English
[edit]Noun
[edit]denotational semantics (uncountable)
- (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
[edit]Translations
[edit]an approach to formalizing the meanings of programming languages
|