Definición - ¿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 algún software.
Techinfo explica la semántica axiomática
Una cosa interesante acerca de la semántica axiomática en contraste con otros tipos de expresiones es que son bastante agnósticas de 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 esto es usar la palabra raíz, axioma, que implica una perogrullada más amplia sobre un sistema. Por ejemplo, un enunciado semántico axiomático 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 involucradas.