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

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

operational semantics

A way to give meaning to computer programs in a mathematically rigorous way by describing how a valid program is interpreted as sequences of computational steps.

+ 追加

英語-日本語 辞書

  • 操作的意味論

    category of formal programming language semantics in which certain desired properties of a program are verified by constructing proofs from logical statements about its execution, procedures,rather than by attaching mathematical meanings to its terms

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

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

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate
追加

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