denotational
Adjective
Meaning
denotational (not comparable)
Of or pertaining to denotation.
Synonyms
Examples
A basic denotational semantics in domain theory is compositional because it is given as follows.
As originally developed by Strachey and Scott, denotational semantics provided the denotation (meaning) of a computer program as a function that mapped input into output.
Also the mathematical structure of operational semantics and denotational semantics can become very close.
At the denotational level, the term refers to situations where a single entity can be seen to mean more than one mathematical object.
Broadly speaking, denotational semantics is concerned with finding mathematical objects called domains that represent what programs do.
Defining a computer language is usually done in relation to an abstract machine (so-called operational semantics ) or as a mathematical function ( denotational semantics ).