「axiomatic semantics」を英語から日本語に翻訳する

公理的意味論は、「axiomatic semantics」を英語から日本語に変換したものです。

axiomatic semantics

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

+ 追加

英語-日本語 辞書

  • 公理的意味論

    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

  • アルゴリズムによって生成された翻訳を表示する

「 axiomatic semantics 」から 日本語 への自動変換

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate
追加

文脈における「axiomatic semantics」から日本語への翻訳、翻訳メモリ