将“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"翻译成 中文