Inhaltsverzeichnis:
Definition - Was bedeutet Axiomatische Semantik?
Axiomatische Semantik sind semantische Ausdrücke der Beziehungen, die einem Codeteil innewohnen. Diese Ausdrücke können hilfreich sein, um die Funktionsweise einer Software zu beschreiben.
Techopedia erklärt die Axiomatische Semantik
Ein interessantes Merkmal der axiomatischen Semantik im Gegensatz zu anderen Arten von Ausdrücken ist, dass sie in Bezug auf bestimmte Ergebnisse und Bedingungen ziemlich agnostisch sind. Axiomatische Semantik beschreibt vielmehr die Funktionsweise eines Systems. Eine Möglichkeit, dies zu verstehen, ist die Verwendung des Wurzelworts Axiom, das eine umfassendere Binsenweisheit über ein System impliziert. Zum Beispiel würde eine axiomatische semantische Aussage über eine bestimmte Funktion beschreiben, was damit gemeint ist, welche Art von Argument es braucht und welches Ergebnis es zurückgibt. Dies würde keine Kenntnis der tatsächlichen beteiligten Variablen erfordern.
