Cuando compras a través de enlaces de afiliados en nuestra web, es posible que obtengamos una comisión sin coste adicional para ti. Aprende ¿Qué significa semántica axiomática?
La semántica axiomática son expresiones semánticas de las relaciones inherentes a un fragmento de código. Estas expresiones pueden ser útiles para describir cómo funciona una pieza de software.
Definición de semántica axiomática
Algo interesante de la semántica axiomática, en contraste con otros tipos de expresiones, es que es bastante agnóstica respecto a resultados y condiciones específicos.
Más bien, la semántica axiomática describe la forma en que funciona un sistema. Una forma de pensar en ello es utilizar la palabra raíz, axioma, que implica alguna obviedad más amplia sobre un sistema.
Por ejemplo, una declaración semántica axiomática sobre una determinada función describiría lo que debe hacer, qué tipo de argumento toma y qué tipo de resultado devuelve. Esto no requeriría el conocimiento de las variables reales implicadas.
