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
- Subclass of
- programming language theory
Show 2 more facts
- Stack Exchange tag
- stackoverflow.com/tags/formal-semantics
- topic's main category
- Category:Programming language 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