Semântica axiomática

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.