Translation of "operational semantics" into German
Operationelle Semantik is the translation of "operational semantics" into German.
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.
-
Operationelle Semantik
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 "operational semantics" into German
-
Glosbe Translate -
Google Translate
Add example
Add