En esta asignatura se tratan aspectos de la especificación y diseño de lenguajes de programación:
* Criterios de diseño en las principales estructuras de control y de datos de los lenguajes de programación
* Diseño de lenguajes de programación orientados a objetos.
* Modelos para la definición formal de la semántica de los lenguajes de programación
* Especificación formal de los sistemas de tipos. Relaciones de subtipado
* Computabilidad. Análisis de complejidad y su relación con el diseño de lenguajes de programación.
Plan de continxencia
1. Modificacións nos contidos
Non hay cambios
2. Metodoloxías
*Metodoloxías docentes que se manteñen
As metodoloxías mantéñense todas, xa adaptadas á contorna online.
*Metodoloxías docentes que se modifican
A proba obxectiva podería pasar a realizarse online.
3. Mecanismos de atención personalizada ao alumnado
Teams: Atención continuada ao alumnado.
Email: Atención continuada ás mensaxes enviadas polo alumnado.
Moodle: Atención continuada ás mensaxes enviadas polo alumnado nos foros de Moodle.
4. Modificacións na avaliación
*Observacións de avaliación:
As probas de evaluación poderían pasar a realizarse online.
5. Modificacións da bibliografía ou webgrafía
Non hai cambios. Está dispoñible no Moodle.
(*)A Guía docente é o documento onde se visualiza a proposta académica
da UDC. Este documento é público e non se pode modificar, salvo casos excepcionais baixo a revisión do
órgano competente dacordo coa normativa vixente que establece o proceso de elaboración de guías