Tabla de contenido:
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 una pieza de software.
Techopedia explica la semántica axiomática
Una cosa interesante sobre la semántica axiomática en contraste con otros tipos de expresiones es que son bastante agnósticos 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 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 involucradas.
