denotational semantics
English
Noun
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
- axiomatic semantics
- operational semantics
Translations
an approach to formalizing the meanings of programming languages
|