Ir al contenido

Semántica operacional

De Wikipedia, la enciclopedia libre
Esta es la versión actual de esta página, editada a las 06:41 1 nov 2019 por Aosbot (discusión · contribs.). La dirección URL es un enlace permanente a esta versión.
(difs.) ← Revisión anterior · Ver revisión actual (difs.) · Revisión siguiente → (difs.)

La semántica operacional es uno de los enfoques de la semántica formal, en el que el significado de una construcción de lenguaje es especificado por la computación que la induce cuando es ejecutada en una máquina hipotética. La semántica operacional se preocupa más por el "cómo" se ejecutan los programas en lugar de hacer énfasis en los resultados. La semántica formal es una de las áreas de estudio de las ciencias de la computación, preocupada en atribuir significado a las construcciones de lenguajes de programación.

Tipos de semántica operacional[editar]

El enfoque de semántica operacional posee dos versiones:

Véase también[editar]

Referencias[editar]