DENOTATIONALSEMANTICS
Denotational semantics
In computer science, denotational semantics is an approach of formalizing the meanings of programming languages by constructing mathematical objects that describe the meanings of expressions from the languages. Other approaches to providing a formal semantics of programming languages include axiomatic semantics and operational semantics.The above text is a snippet from Wikipedia: Denotational semantics
and as such is available under the Creative Commons Attribution/Share-Alike License.
denotational semantics
Noun
- An approach to formalizing the meanings of programming languages by constructing mathematical objects called denotations which describe the meanings of expressions from the languages.
The above text is a snippet from Wiktionary: denotational semantics
and as such is available under the Creative Commons Attribution/Share-Alike License.