Semántica algebraica (informática)

Semántica

LingüísticoLógico

Informática

Tipos
Acción Algebraico Axiomático Categórico Concurrencia Denotacional Juego Operacional Predicado transformacional
Teoría
Interpretación abstracta Gráfico semántico abstracto Coincidencia semántica
Análisis
Latente Aprendizaje automático
Aplicaciones
Sistema de archivos semántico Web semántica Wiki semántico

En ciencias de la computación , la semántica algebraica es una forma de semántica axiomática basada en leyes algebraicas para describir y razonar sobre la semántica del programa de una manera formal .

Ver también [ editar ]

Eric G. Wagner (1995). "Semántica algebraica". En Samson Abramsky; Dov M. Gabbay; Thomas SE Maibaum (eds.). Manual de Lógica en Informática: Estructuras semánticas . 3 . Prensa de Clarendon. ISBN 9780198537625.
Joseph Goguen ; Grant Malcolm (1996). Semántica algebraica de programas imperativos . MIT Press. ISBN 9780262071727.

Este artículo de ciencias de la computación es un fragmento . Puedes ayudar a Wikipedia expandiéndolo .

{\ Displaystyle \ Gamma \ vdash x: {\ text {Int}}}

Este artículo relacionado con la teoría del lenguaje de programación o la teoría de tipos es un fragmento . Puedes ayudar a Wikipedia expandiéndolo .