Referencias Bibliográficas: [Aho et al., 2011,Louden, 2004a,Teufel and Schmidt, 1998,Appel, 2002]
Temas
- Representaciones de programas de alto nivel tales como árboles de sintaxis abstractas.
- Alcance y resolución de vínculos.
- Revisión de tipos.
- Especificaciones declarativas tales como gramáticas atribuídas.
Objetivos de Aprendizaje (Learning Outcomes)
- Implementar analizadores sensibles al contexto y estáticos a nivel de fuente, tales como, verificadores de tipos o resolvedores de identificadores para identificar las ocurrencias de vinculo [Evaluar]
- Describir analizadores semanticos usando una gramatica con atributos [Evaluar]
Generado por Ernesto Cuadros-Vargas , Sociedad Peruana de Computación-Peru, basado en el modelo de la Computing Curricula de IEEE-CS/ACM