| German |
| has gloss | deu: Die axiomatische Semantik der Informatik beschreibt die Bedeutung von Programmen durch Schlussregeln, die es erlauben von einer gewünschten Eigenschaft der Eingabe auf Eigenschaften der Ausgabe zu schließen. Dabei abstrahiert die axiomatische Semantik weiter als die denotationelle Semantik. Es werden keine konkreten Speicher transformiert, sondern nur logische Aussagen über Speicher, genauer gesagt über Werte von Programmvariablen in ihnen. |
| lexicalization | deu: axiomatische Semantik |
| French |
| has gloss | fra: La sémantique axiomatique est une approche basée sur la logique mathématique qui sert à prouver qu'un programme informatique est correct. |
| lexicalization | fra: Semantique axiomatique |
| lexicalization | fra: sémantique axiomatique |
| Croatian |
| has gloss | hrv: U računarstvu, aksiomatska semantika je jedan od formalizama specificiranja semantike programskih jezika. Značenje računalnog programa nije uopće eksplicitno dano, već su definirana svojstva jezičnih konstrukata preko aksioma i pravila inferencije iz simboličke logike. Svojstvo programa je deducirano iz njih da bi se konstruirao formalan dokaz svojstva. |
| lexicalization | hrv: Aksiomatska semantika |
| Japanese |
| has gloss | jpn: 公理的意味論（こうりてきいみろん、Axiomatics Semantics）とは、数理論理学に基づいてプログラムの正当性を証明する手法。ホーア論理と密接に関連している。 |
| lexicalization | jpn: 公理的意味論 |
| Portuguese |
| has gloss | por: Semântica axiomática é uma abordagem de semântica formal. A semântica formal é uma das áreas de estudo de ciência da computação, preocupada em atribuir significado às contruções das linguagens de programação. |
| lexicalization | por: Semântica axiomática |