denotational semantics
Jump to navigation
Jump to search
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
|