Translation of "operational semantics" into Serbo Croatian
Operacijska semantika is the translation of "operational semantics" into Serbo Croatian.
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.
-
Operacijska semantika
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
Add example
Add