Translation of "axiomatic semantics" into German

Axiomatische Semantik is the translation of "axiomatic semantics" into German.

axiomatic semantics

An approach based on mathematical logic to proving the correctness of computer programs, closely related to Hoare logic.

+ Add

English-German dictionary

  • Axiomatische Semantik

    approach based on mathematical logic for proving the correctness of computer programs; closely related to Hoare logic; define the meaning of a command in a program by describing its effect on assertions about the program state

  • Show algorithmically generated translations

Automatic translations of "axiomatic semantics" into German

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate
Add

Translations of "axiomatic semantics" into German in sentences, translation memory