4.44.2.3 Sistemas de tipos (18 horas) [Habilidades a,b,i,j]

Referencias Bibliográficas: [Sebesta, 2012,Webber, 2010,Roy and Haridi, 2004] Temas
  1. Constructores de tipo composicional, como tipos de producto (para agregados), tipos de suma (para uniones), tipos de función, tipos cuantificados y tipos recursivos.
  2. Comprobación de tipos.
  3. Seguridad de tipos como preservación más progreso.
  4. Inferencia de tipos.
  5. Sobrecarga estática.
Objetivos de Aprendizaje
  1. Definir un sistema de tipo de forma precisa y en su composición [Usage]
  2. Para varias construcciones de tipo fundamental, identificar los valores que describen y las invariantes que hacen que se cumplan [Familiarity]
  3. Precisar las invariantes preservadas por un sistema de tipos seguro (sound type system) [Familiarity]
  4. Demostrar la seguridad de tipos para un lenguaje simple en términos de conservación y progreso teoremas [Usage]
  5. Implementar un algoritmo de inferencia de tipos basado en la unificación para un lenguaje básico [Usage]
  6. Explicar cómo la sobrecarga estática y algoritmos de resolución asociados influyen el comportamiento dinámico de los programas [Familiarity]



Generado por Ernesto Cuadros-Vargas , Sociedad Peruana de Computación-Peru, basado en el modelo de la Computing Curricula de IEEE-CS/ACM