Semántica

Semántica
Las reglas que determina el significado de los programas constituyen la semántica de los lenguajes de programación. Es más difícil de especificar que la sintaxis.
Los siguientes sonalgunos enfoques para especificar la semántica de los lenguajes:
Semántica Interpretativa (Operacional)
Un lenguaje de máquina tiene su semántica definida por el computador. Un programa en lenguaje demáquina "significa" exactamente lo que el computador hace cuando el programa "corre" o se ejecuta. Sin embargo, con un lenguaje de alto nivel no se puede dejar que el computador defina la semántica dellenguaje, puesto que no es posible "correr programas y ver" hasta que se tenga un compilador. No se puede tener un compilador y saber qué es correcto hasta haber definido lo que los programassignifican.
Este enfoque interpretativo para definir la semántica de los lenguajes de programación consiste en postular una máquina abstracta y proveer reglas para la ejecución de programas sobre esta máquinaabstracta. Así, estas reglas definen el significado de los programas. Usualmente, la máquina abstracta se caracteriza por un estado consistente de todos los objetos datos, sus valores, y losprogramas con sus contadores de programa. Las reglas semánticas especifican cómo el estado es transformado por las diversas construcciones de los lenguajes de programación.
Traducción
La traducción de unlenguaje ensamblador a lenguaje de máquina (que es directa y comprensible), forma una especificación semántica muy usada para un lenguaje ensamblador.
El compilador para un lenguaje de alto nivel sobreuna máquina específica llega a ser la definición semántica del lenguaje.
Definición Axiomática
Se pueden definir reglas que relacionan los datos antes y después de la ejecución de cada programa.Estas reglas se pueden usar para proveer teoremas acerca de la relación E/S de un programa. Este enfoque tiene la ventaja que puede usarse para definir semánticas para un aparte más que para todos...