Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:21706407n
Noun Concept
Categories: Informatique théorique, Méthode formelle, Théorie de la compilation
FR
sémantique des langages de programmation  mot signifiant  semantique des langages de programmation
FR
En informatique théorique, la sémantique formelle est l’étude de la signification des programmes informatiques vus en tant qu’objets mathématiques. Wikipedia
English:
computer science
Definitions
Relations
Sources
FR
En informatique théorique, la sémantique formelle est l’étude de la signification des programmes informatiques vus en tant qu’objets mathématiques. Wikipedia
HAS PART
rôle sémantique
HAS KIND
sémantique opérationnelle
sémantique axiomatique
sémantique dénotationnelle
Wikipedia
FR
sémantique des langages de programmation
Wikidata
FR
sémantique des langages de programmation
Wikipedia Redirections
FR
Mot signifiant, Semantique des langages de programmation
Wikidata Alias
FR
mot signifiant, semantique des langages de programmation

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