Índice:
Definição - O que significa Semântica Axiomática?
Semântica axiomática são expressões semânticas dos relacionamentos inerentes a um pedaço de código. Essas expressões podem ser úteis para descrever como funciona algum software.
Techopedia explica semântica axiomática
Uma coisa interessante sobre a semântica axiomática, em contraste com outros tipos de expressões, é que elas são bastante independentes de resultados e condições específicos. 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 declaração semântica axiomática sobre uma determinada função descreveria o que ela deve fazer, que tipo de argumento é necessário e que tipo de resultado ele retorna. Isso não exigiria conhecimento das variáveis reais envolvidas.
