Loading AI tools
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.
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.
- 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
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
