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.
Nielson, H. & Nielson, F. : a formal introduction.
(en portugués)
Datos:Q1930895
Agosto 04, 2021
semántica, operacional, semántica, operacional, enfoques, semántica, formal, significado, construcción, lenguaje, especificado, computación, induce, cuando, ejecutada, máquina, hipotética, semántica, operacional, preocupa, más, cómo, ejecutan, programas, lugar. La semantica operacional es uno de los enfoques de la semantica formal en el que el significado de una construccion de lenguaje es especificado por la computacion que la induce cuando es ejecutada en una maquina hipotetica La semantica operacional se preocupa mas por el como se ejecutan los programas en lugar de hacer enfasis en los resultados La semantica formal es una de las areas de estudio de las ciencias de la computacion preocupada en atribuir significado a las construcciones de lenguajes de programacion Tipos de semantica operacional EditarEl enfoque de semantica operacional posee dos versiones Semantica operacional estructurada Especifica mas de detalles de la ejecucion dando un paso mas pequeno Semantica natural Simplifica la notacion y oculta los detalles para dar un paso mas grande Vease tambien EditarSemantica formal Ciencias de la computacion Lenguajes de programacion Lenguaje formalReferencias EditarNielson H amp Nielson F Semantics with Applications a formal introduction Laminas para curso de um semestre de duracao de semantica formal a nivel de graduacao en portugues Datos Q1930895Obtenido de https es wikipedia org w index php title Semantica operacional amp oldid 120974106, wikipedia, wiki, leyendo, leer, libro, biblioteca,
