Sommario:
Definizione - Cosa significa semantica assiomatica?
La semantica assiomatica sono espressioni semantiche delle relazioni inerenti a un pezzo di codice. Queste espressioni possono essere utili per descrivere come funziona un software.
Techopedia spiega la semantica assiomatica
Una cosa interessante della semantica assiomatica in contrasto con altri tipi di espressioni è che sono abbastanza agnostici rispetto a risultati e condizioni specifici. Piuttosto, la semantica assiomatica descrive il modo in cui un sistema funziona. Un modo di pensare a questo è usare la parola radice, assioma, che implica un più ampio truismo su un sistema. Ad esempio, un'affermazione semantica assiomatica su una determinata funzione descriverà cosa deve fare, che tipo di argomento prende e che tipo di risultato restituisce. Ciò non richiederebbe la conoscenza delle variabili effettive coinvolte.
