PL10. Semántica de los Lenguajes de Programación.

Tópicos

• Semántica informal.
• Panorama general de la semántica formal.
• Semántica denotacional.
• Semántica axiomática.
• Semántica operacional.

Objetivos

• Explicar la importancia de la semántica formal.
• Diferenciar entre semántica formal e informal.
• Describir los diferentes métodos de la semántica formal.
• Evaluar las diferentes abordajes de la semántica formal.