2.5.17 FPL/Análisis Semántico del Compilador

Temas:
Non Core

• árboles de sintaxis abstracta; contraste con sintaxis concreta
• Definir, recorrer y modificar representaciones de programa de alto nivel
• ámbito (scope) y resolución de enlaces (binding)
• Semántica estática:
  1. Verificación de tipos.
  2. Definir antes de usar
  3. Anotaciones y entornos (frameworks) de verificación estática extendida (extended static checking).
• Valores-L/Valores-R
• Semántica de llamada
• Tipos de paso de parámetros con ilustraciones simples y comparación: llamada por valor (call by value), llamada por referencia (call by reference), llamada por valor-resultado (call by value-result), llamada por nombre (call by name), llamada por necesidad (call by need) y sus variaciones
• Especificaciones declarativas como gramáticas atribuidas (attribute grammars) y sus aplicaciones en manejo de gramáticas sensibles al contexto limitadas

Aprendizaje esperado (Learning Outcomes):
NonCore:

1. Dibujar el árbol de sintaxis abstracta para un lenguaje pequeño [Diagramar]
2. Implementar análisis estáticos sensibles al contexto, a nivel de fuente, como verificadores de tipos o resolver identificadores para identificar sus ocurrencias de enlace (binding) [Implementar]
3. Describir análisis semánticos usando una gramática atribuida [Describir]