Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03354331n
Noun Concept
Categories: Models of computation, Logic in computer science, Denotational semantics, Formal specification languages, 1970 in computer science
EN
denotational semantics  full abstraction  Full completeness  fully abstract  History of denotational semantics
EN
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. Wikipedia
Definitions
Relations
Sources
EN
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. Wikipedia
A technique of describing the "meaning" of programs as mathematical functions, allowing people to prove theorems and reason about programs as mathematical entities. OmegaWiki
An approach to formalizing the meanings of programming languages by constructing mathematical objects called denotations which describe the meanings of expressions from the languages. Wiktionary
An approach to formalizing the meanings of programming languages. Wiktionary (translation)
IS A
semantics
Wikipedia
EN
denotational semantics
Wikidata
EN
denotational semantics
Wiktionary
EN
denotational semantics
OmegaWiki
EN
denotational semantics
Wikipedia Redirections
EN
full abstraction, Full completeness, fully abstract, History of denotational semantics, mathematical semantics, Scott-Strachey semantics, Scott–Strachey semantics
Wikidata Alias
EN
mathematical semantics (initially), Scott–Strachey semantics (initially)

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License