Guía DocenteCurso Facultade de Informática |
Grao en Enxeñaría Informática |
Asignaturas |
Deseño das Linguaxes de Programación |
Contidos |
|
|
|
Datos Identificativos | 2017/18 | |||||||||||||
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 |
Principios de diseño de lenguajes de programción | Nombres, ámbito y ligazón Flujo de control Tipos de datos Subrutinas |
Lenguajes orientados a objetos | Fundamentos de diseño de lenguajes orientados a objetos Problemas de tipado de los lenguajes orientados a objetos |
Formalización de los sistemas de tipos | Semántica operacional, denotacional y axiómática Introducción al lambda cálculo Lambda cálculo tipado |
Computabilidad y complejidad | Computabilidad y lambda cálculo Clases de complejidad |
|