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.
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)
Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.