Sémantique algébrique (informatique)
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.
Pour les articles homonymes, voir Sémantique algébrique.
Références
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Algebraic semantic » (voir la liste des auteurs).
- Handbook of Logic in Computer Science : Semantic structures, vol. 3, Clarendon Press, , 506 p. (ISBN 978-0-19-853762-5), « Algebraic Semantic »
- Joseph Goguen et Grant Malcolm, Algebraic semantics of imperative programs, MIT Press, , 228 p. (ISBN 978-0-262-07172-7, lire en ligne)
Portail de l’informatique 
Portail de l’algèbre
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.