La Semántica y sus documentos

...

La semántica axiomática

Es un enfoque basado en la lógica matemática quién sirve para probar que uno programa informático este correcto.

Esta semántica tiende a considerar un programa como un transformador de propiedades lógicas, es decir el significado otorgado al programa es un conjunto de predicados que son comprobados por el estado de la máquina (caracterizado por su memoria) que realizó el programa, a condición de que se haya comprobado un otro conjunto de predicados antes de la ejecución.

Lo que está en juego es en general encontrar la semántica axiomática más fina posible: dada una especificación de salida que se quiere en general el más fuerte (restrictiva) posible, se buscan las precondiciones más escasas (amplios) que consiguen este resultado.

Otros tipos de semántica son:

Semánticaalgebraica: Se basa en la especificación de tipos de datos abstractos mediante una colección de operaciones (incluyendo alguna constante). Puesto que un conjunto de valores al que se le añaden una colección de operaciones constituye un álgebra, este método de descripción formal de semántica se denomina semántica algebraica. Este método está pues enfocado a especificar la semántica de los tipos y sus operaciones. La semántica algebraica constituye también la base de la semántica de acciones, empleada para especificar la semántica de lenguajes de programación al completo.

Semántica de acciones: Fue elaborado por Peter Mosses para describir la semántica de lenguajes de un modo más inteligible. Las especificaciones semánticas de lenguajes siempre han sido consideradas como oscuras, complicadas y únicamente legibles por expertos, adquiriendo así una mala reputación por su uso intensivo de símbolos matemáticos. De este modo, esta semántica está basada en el concepto de acciones que reflejan las operaciones comunes en los lenguajes de programación, ofreciendo primitivas para la asignación y declaración de identificadores, así como la combinación de instrucciones mediante control de flujo secuencial, condicional e iterativo.

Conclusión

La semántica…