Translation of "Operationelle Semantik" into English

operational semantics is the translation of "Operationelle Semantik" into English.

Operationelle Semantik
+ Add

German-English dictionary

  • operational semantics

    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

  • Show algorithmically generated translations

Automatic translations of "Operationelle Semantik" into English

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate
Add

Translations of "Operationelle Semantik" into English in sentences, translation memory