Datos Identificativos | 2018/19 | |||||||||||||
Asignatura | Deseño das Linguaxes de Programación | Código | 614G01065 | |||||||||||
Titulación |
|
|||||||||||||
Descriptores | Ciclo | Período | Curso | Tipo | Créditos | |||||||||
Grao | 1º cuadrimestre |
Cuarto | Obrigatoria | 6 | ||||||||||
|
Temas | Subtemas |
Formalización de los sistemas de tipos | Semántica operacional, denotacional y axiómática Lambda cálculo no tipado Lambda cálculo tipado Subtipado |
Lenguajes orientados a objetos | Fundamentos de diseño de lenguajes orientados a objetos Problemas de tipado de los lenguajes orientados a objetos |
Principios de diseño de lenguajes de programción | Nombres, ámbito y ligazón Flujo de control Tipos de datos Subrutinas |
Computabilidad y complejidad | Computabilidad y lambda-cálculo Clases de complejidad |