denotational semantics
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
|