Se busca que les estudiantes logren:
- Comprender los elementos principales del análisis estático de código y
su utilidad. - Concebir soluciones a nuevos problemas de análisis de programas.
- Utilizar herramientas de análisis y síntesis de programas tanto para afianzar los conocimientos adquiridos como para aprovecharlas en un futuro.
Modos de Cursada: Cuatrimestral Presencial
Horas Semanales: 4 horas
Demanda de tiempo en casa semanal: 4 horas
Sitio web:
- Aún no disponible
Programa de la materia:
Contenidos Mínimos:
- Análisis de flujo de datos.
- Análisis interprocedural.
- Análisis intraprocedural.
- Análisis de forma.
- Análisis basado en restricciones.
- Análisis abstracto 0-CFA y 0-CFA dirigido por sintaxis.
- Sistemas de tipos y efectos.
- Análisis de flujo de control.
- Inferencia de tipos.
- Efectos.
- Comportamiento.