Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:21706407n
Noun Concept
Categories: Logic in computer science, Programming language semantics, Formal methods, Formal specification languages
EN
semantics  programming language semantics  formal semantics  formal semantics of programming languages  program semantics
EN
In programming language theory, semantics is the rigorous mathematical study of the meaning of programming languages. Wikipedia
English:
computer science
Definitions
Relations
Sources
EN
In programming language theory, semantics is the rigorous mathematical study of the meaning of programming languages. Wikipedia
The mathematical study of the meaning of programming languages Wikipedia Disambiguation
The field concerned with the rigorous mathematical study of the meaning of programming languages Wikidata
HAS PART
thematic relation
HAS KIND
operational semantics
axiomatic semantics
denotational semantics
Wikipedia
EN
semantics (computer science)
Wikidata
EN
programming language semantics
Wikipedia Redirections
EN
formal semantics of programming languages, program semantics, programming language semantics, semantics of programming languages
Wikidata Alias
EN
formal semantics, program semantics, semantics

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