denotational semantics

listen to the pronunciation of denotational semantics
English - English
An approach to formalizing the meanings of programming languages by constructing mathematical objects called denotations which describe the meanings of expressions from the languages
denotational semantics
Favorites