Μετάφραση του "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" σε Ελληνικά στο πλαίσιο, μεταφραστική μνήμη