Indholdsfortegnelse:
Definition - Hvad betyder Axiomatic Semantics?
Aksiomatisk semantik er semantiske udtryk for de forhold, der ligger i et stykke kode. Disse udtryk kan være nyttige til at beskrive, hvordan et stykke software fungerer.
Techopedia forklarer Axiomatic Semantics
En interessant ting ved aksiomatisk semantik i modsætning til andre typer udtryk er, at de er ret agnostiske over specifikke resultater og betingelser. Snarere beskriver aksiomatisk semantik, hvordan et system fungerer. En måde at tænke på dette er at bruge rodordet, aksiom, som indebærer en vis bredere truisme omkring et system. For eksempel vil en aksiomatisk semantisk udsagn om en bestemt funktion beskrive, hvad den er beregnet til at gøre, hvilken slags argument den tager, og hvilken slags resultat den returnerer. Dette kræver ikke kendskab til de aktuelle variabler.
