Taula de continguts:
Definició: què significa la semàntica axiomàtica?
La semàntica axiomàtica és una expressió semàntica de les relacions inherents a un tros de codi. Aquestes expressions poden ser útils per descriure com funciona algun programari.
Techopedia explica la semàntica axiomàtica
Una cosa interessant de la semàntica axiomàtica en contrast amb altres tipus d’expressions és que són força agnòstics de resultats i condicions específiques. Més aviat, la semàntica axiomàtica descriu la forma de funcionar d’un sistema. Una forma de pensar-ho és utilitzar la paraula arrel, axioma, que implica algun truisme més ampli sobre un sistema. Per exemple, una declaració semàntica axiomàtica sobre una determinada funció descriuria què es vol fer, quin tipus d’argument es porta i quin tipus de resultat retorna. Això no requeriria coneixement de les variables reals implicades.
