Semántica operacional
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
El enfoque de semántica operacional posee dos versiones:
- Semántica operacional estructurada - Especifica más de detalles de la ejecución, dando un paso más pequeño;
- Semántica natural - Simplifica la notación y oculta los detalles, para dar un paso más grande.
Referencias
- Nielson, H. & Nielson, F. Semantics with Applications: a formal introduction.
- Lâminas para curso de um semestre de duração de semântica formal a nível de graduação (en portugués)
Datos: Q1930895
Este artículo ha sido escrito por Wikipedia. El texto está disponible bajo la licencia Creative Commons - Atribución - CompartirIgual. Pueden aplicarse cláusulas adicionales a los archivos multimedia.