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
- 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  [Assessment]
 
- Describir analizadores semanticos usando una gramatica con atributos  [Assessment]
 
Generado por Ernesto Cuadros-Vargas ,               Sociedad Peruana de Computación-Peru,               basado en el modelo de la Computing Curricula de               IEEE-CS/ACM