Translation of "axiomatic semantics" into Japanese

公理的意味論 is the translation of "axiomatic semantics" into Japanese.

axiomatic semantics

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

+ Add

English-Japanese dictionary

  • 公理的意味論

    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 Japanese

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate
Add

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