Translation of "operational semantics" into Japanese
操作的意味論 is the translation of "operational semantics" into Japanese.
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
-
Show algorithmically generated translations
Automatic translations of "operational semantics" into Japanese
-
Glosbe Translate -
Google Translate
Add example
Add