denotational semantics

English

Noun

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

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

This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.