Definição – O que significa Semântica Axiomática?
A semântica axiomática é uma expressão semântica das relações inerentes a um trecho de código. Essas expressões podem ser úteis na descrição de como algum software funciona.
A Definirtec explica a Axiomatic Semântica
Uma coisa interessante sobre a semântica axiomática em contraste com outros tipos de expressões é que elas são bastante agnósticas em relação a resultados e condições específicas. Em vez disso, a semântica axiomática descreve a maneira como um sistema funciona. Uma maneira de pensar nisso é usar a palavra raiz, axioma, que implica algum truísmo mais amplo sobre um sistema. Por exemplo, uma afirmação semântica axiomática sobre uma determinada função descreveria o que ela deve fazer, que tipo de argumento leva e que tipo de resultado retorna. Isso não exigiria conhecimento das variáveis reais envolvidas.