sémantique des langages de programmation
Sign in to saveAlso known as semantics, formal semantics, program semantics
the field concerned with the rigorous mathematical study of the meaning of programming languages
Wikidata facts
Show 1 more fact
- Stack Exchange tag
- stackoverflow.com/tags/formal-semantics
via Wikidata · CC0
Article · Français
En informatique théorique, la sémantique formelle (des langages de programmation) est l’étude de la signification des programmes informatiques vus en tant qu’objets mathématiques.
Abstract from DBpedia / Wikipedia · CC BY-SA
Connections
Semantic Web
Entity
syntax
Entity
formal verification
Entity
semantics of logic
Entity
categorical logic
Entity
language
Entity
Internet
Entity
linguistics
Entity
computer science
Entity
algebra
Entity
International Standard Book Number
Entity
programming language
Entity
World Wide Web
Entity
set theory
Entity
axiom
Entity
database
Entity
digital object identifier
Entity
ontology
Entity
compiler
Entity
mathematical logic
Entity