Sémantique algébrique (informatique)
langage de programmation
Pour les articles homonymes, voir Sémantique algébrique.
Cet article est une ébauche concernant l’algèbre et l’informatique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
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 modifier
Références modifier
- (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)
