5.7.10 PL/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.
Generado por Ernesto Cuadros-Vargas , Sociedad Peruana de Computación-Peru, Universidad Católica San Pablo, Arequipa-Peru
basado en el modelo de la Computing Curricula de IEEE-CS/ACM
