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.
Voir aussi Sémantique algébrique (logique mathématique) Algèbre Logique
Références
Catégorie:Méthode formelle Catégorie:Algèbre Catégorie:Sémantique Catégorie:Langage de programmation