denotational semantics

Noun

Meaning

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.

Source: en.wiktionary.org

Related terms

axiomatic semantics operational semantics

Examples

Denotational semantics of state State (such as a heap) and simple imperative features can be straightforwardly modeled in the denotational semantics described above. Source: Internet

Denotations of recursive programs Denotational semantics are given to a program phrase as a function from an environment (that has the values of its free variables) to its denotation. Source: Internet

Denotational semantics as source-to-source translation It is often useful to translate one programming language into another. Source: Internet

Close letter words and terms

denotate denotation denotational denotationally denotative denotatively