bn:02917874n
Noun Concept
Categories: Algèbre, Langage de programmation, Méthode formelle, Sémantique
FR
sémantique algébrique
FR
En informatique, la sémantique algébrique est une forme de sémantique axiomatique basée sur des principes algébriques pour décrire et raisonner sur la sémantique des langages de programmation de manière formelle. Wikipedia
French:
informatique
Definitions
Relations
Sources
FR
En informatique, la sémantique algébrique est une forme de sémantique axiomatique basée sur des principes algébriques pour décrire et raisonner sur la sémantique des langages de programmation de manière formelle. Wikipedia