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 contingencia
1. Modificaciones en los contenidos
No hay cambios
2. Metodologías
*Metodologías docentes que se mantienen
Se mantienen todas las metodologías, ya adaptadas al entorno online.
*Metodologías docentes que se modifican
Las pruebas de evaluación podrían pasar a realizarse online
3. Mecanismos de atención personalizada al alumnado
4. Modificaciones en la evaluación
*Observaciones de evaluación:
El único cambio sería que el examen podría pasar a realizarse online
5. Modificaciones de la bibliografía o webgrafía
No hay cambios. Está disponible en Moodle.
(*) La Guía Docente es el documento donde se visualiza la propuesta académica de la UDC. Este documento es público y no se puede modificar, salvo cosas excepcionales bajo la revisión del órgano competente de acuerdo a la normativa vigente que establece el proceso de elaboración de guías