|
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 | 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 |
|
