denotational semantics

English

Noun

denotational semantics (uncountable)

1. (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

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