Innholdsfortegnelse:
Definisjon - Hva betyr Axiomatic Semantics?
Aksiomatisk semantikk er semantiske uttrykk for relasjonene som ligger i et stykke kode. Disse uttrykkene kan være nyttige i å beskrive hvordan noe programvare fungerer.
Techopedia forklarer Axiomatic Semantics
En interessant ting med aksiomatisk semantikk i motsetning til andre typer uttrykk er at de er ganske agnostiske av spesifikke resultater og forhold. Snarere beskriver aksiomatisk semantikk måten et system fungerer på. En måte å tenke på dette er å bruke rotordet, aksiom, som innebærer noe bredere truisme om et system. For eksempel vil en aksiomatisk semantisk uttalelse om en viss funksjon beskrive hva den er ment å gjøre, hva slags argument den tar, og hva slags resultat den returnerer. Dette vil ikke kreve kunnskap om de aktuelle variablene.
