denotational semantics

Noun

 * 1)  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

 * Icelandic: stærðfræðileg merkingarfræði
 * Romanian: semantică denotațională
 * Serbo-Croatian: denotacijska semantika