Inhoudsopgave:
Definitie - Wat betekent Axiomatic Semantics?
Axiomatische semantiek zijn semantische uitdrukkingen van de relaties die inherent zijn aan een stuk code. Deze uitdrukkingen kunnen nuttig zijn om te beschrijven hoe een stuk software werkt.
Techopedia legt Axiomatic Semantics uit
Een interessant ding over axiomatische semantiek, in tegenstelling tot andere soorten uitdrukkingen, is dat ze tamelijk agnostisch zijn voor specifieke resultaten en voorwaarden. In plaats daarvan beschrijven axiomatische semantiek de manier waarop een systeem werkt. Een manier om hier aan te denken is het gebruik van het grondwoord axioma, wat een bredere waarheid over een systeem impliceert. Een axiomatische semantische uitspraak over een bepaalde functie zou bijvoorbeeld beschrijven wat het moet doen, welk soort argument het neemt en welk soort resultaat het oplevert. Dit vereist geen kennis van de werkelijke variabelen.
