Translation of "operational semantics" into Spanish

Semántica operacional, semántica operacional are the top translations of "operational semantics" into Spanish.

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.

+ Add

English-Spanish dictionary

  • Semántica operacional

    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

  • semántica operacional

    feminine

    Forma de dar sentido a los programas de ordenador de una manera matemáticamente rigurosa al describir cómo un programa válido se interpreta como secuencias de pasos de cálculo.

  • Show algorithmically generated translations

Automatic translations of "operational semantics" into Spanish

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate
Add

Translations of "operational semantics" into Spanish in sentences, translation memory