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