¿ que es el significado de un programa ?

 Al cálculo asociado por un lenguaje a un programa correcto se le considera el significado del programa.

• a las metodologías para especificar el significado de los programas se les llama semántica de los

lenguajes de programación.

• las reglas de cada lenguaje deben permitir establecer el significado sin ambigüedad alguna, de forma

clara y concisa

¿ que es el significado de un programa ?

Ejemplo de significado: consideremos este programa

El significado del anterior programa es el cálculo necesario para evaluar una determinada función f .

• La función f es la que asocia, a una secuencia de números enteros, otra secuencia que contiene el

factorial de cada uno de ellos.

f ∈ N∗ → N∗

(a1, . . . , an) → f(a1, . . . , an) = (a1!, . . . , an!)

• Existen varias aproximaciones a la semántica de los lenguajes de programación.

• Lo que hemos visto se denomina semántica denotacional (un programa denota una función)