Obsah:
Definícia - Čo znamená axiomatická sémantika?
Axiomatická sémantika je sémantické vyjadrenie vzťahov obsiahnutých v určitom kóde. Tieto výrazy môžu byť nápomocné pri opise fungovania určitého softvéru.
Techopedia vysvetľuje axiomatickú sémantiku
Zaujímavou vecou o axiomatickej sémantike na rozdiel od iných typov výrazov je to, že sú dosť agnostickí voči konkrétnym výsledkom a podmienkam. Axiomatická sémantika skôr opisuje spôsob fungovania systému. Jedným zo spôsobov, ako o tom premýšľať, je použitie koreňového slova, axiómu, ktoré naznačuje nejaký širší pravdu o systéme. Napríklad axiomatický sémantický výrok o určitej funkcii by opísal, čo sa má robiť, aký argument má a aký výsledok sa vracia. To by si nevyžadovalo znalosť skutočných zahrnutých premenných.
