|
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 | 2019/20 | |||||||||||||
| 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 | Optativa | 6 | ||||||||||
|
||||||||||||||
| Temas | Subtemas |
| Formalización dos sistemas de tipos | Semántica operacional, denotacional e axiómática Lambda cálculo non tipado Lambda cálculo tipado Subtipado |
| Linguaxes orientadas a obxectos | Fundamentos de deseño de linguaxes orientadas a obxectos Problemas de tipado das linguaxes orientadas a obxectos |
| Principios de deseño de linguaxes de programción | Nomes, ámbito e ligazón Fluxo de control Tipos de datos Subrutinas |
| Computabilidade e complexidade | Computabilidade e lambda-cálculo Clases de complexidade |
|
