| Grao en Enxeñaría Informática |
 Asignaturas |
| Diseño de los Lenguajes de Programación |
| Contenidos |
|
|
|
| Datos Identificativos | 2019/20 | |||||||||||||
| Asignatura | Diseño de los Lenguajes de Programación | Código | 614G01065 | |||||||||||
| Titulación |
|
|||||||||||||
| Descriptores | Ciclo | Periodo | Curso | Tipo | Créditos | |||||||||
| Grado | 1º cuatrimestre |
Cuarto | Optativa | 6 | ||||||||||
|
||||||||||||||
| Tema | Subtema |
| 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 |
| 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 |
|
