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.
YouTube Encyclopedic
-
1/3Views:83048 73824 660
-
Programación y Lenguajes de Programación. Sintaxis y semántica de los lenguajes de programación.
-
AULA 01 - Conceitos básicos de linguagens de programação, sintaxe e semântica - IF669, CIn-UFPE
-
Matemáticas Discretas - Algoritmo de Dijkstra
Transcription
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.
Véase también
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)