Spisu treści:
Definicja - Co oznacza semantyka aksjomatyczna?
Semantyka aksjomatyczna jest semantycznym wyrażeniem relacji nieodłącznie związanych z fragmentem kodu. Wyrażenia te mogą być pomocne w opisie działania niektórych programów.
Techopedia wyjaśnia Axiomatic Semantics
Interesującą rzeczą w semantyce aksjomatycznej, w przeciwieństwie do innych rodzajów wyrażeń, jest to, że są one dość agnostyczne wobec określonych wyników i warunków. Przeciwnie, semantyka aksjomatyczna opisuje sposób działania systemu. Jednym ze sposobów myślenia o tym jest użycie słowa źródłowego aksjomat, co sugeruje szerszy truizm na temat systemu. Na przykład aksjomatyczna instrukcja semantyczna o pewnej funkcji opisałaby, co powinna zrobić, jakiego rodzaju argument wymaga i jaki wynik zwraca. Nie wymagałoby to znajomości faktycznych zmiennych.
