Teaching GuideTerm Faculty of Computer Science |
Grao en Enxeñaría Informática |
Subjects |
Programming Language Design |
Contents |
|
|
Identifying Data | 2015/16 | |||||||||||||
Subject | Programming Language Design | Code | 614G01065 | |||||||||||
Study programme |
|
|||||||||||||
Descriptors | Cycle | Period | Year | Type | Credits | |||||||||
Graduate | 1st four-month period |
Fourth | Obligatoria | 6 | ||||||||||
|
Topic | Sub-topic |
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 |
|