Teaching GuideTerm
Faculty of Computer Science
  Home | galego | castellano | english | A A |  
Grao en Enxeñaría Informática
 Subjects
  Programming Language Design
Abrir nova vista Vista para imprimir Exportar a pdf
Identifying Data 2020/21
Subject (*) Programming Language Design Code 614G01065
Study programme
Grao en Enxeñaría Informática
Descriptors Cycle Period Year Type Credits
Graduate 1st four-month period
Fourth Optional 6
Language
Spanish
Teaching method Hybrid
Prerequisites
Department Ciencias da Computación e Tecnoloxías da Información
Computación
Coordinador
Alonso Pardo, Miguel angel
E-mail
miguel.alonso@udc.es
Lecturers
Alonso Pardo, Miguel angel
Graña Gil, Jorge
Vilares Ferro, Jesus
E-mail
miguel.alonso@udc.es
jorge.grana@udc.es
jesus.vilares@udc.es
Web http://moodle.udc.es
General description This course deals with the following aspects of the specification and design of programming languages: * Design Criteria for control structures and datat ypes. * Design of object-oriented programming languages. * Models for the formal definition of the semantics of programming languages * Formal specification of type systems. Subtyping relations * Computability. Analysis of complexity and its relation to the design of programming languages.
Contingency plan 1. Modifications to the contents No changes. 2. Methodologies *Teaching methodologies that are maintained The methodologies remain the same, already adapted to the online environment. *Teaching methodologies that are modified The objective test would be conducted online. 3. Mechanisms for personalized attention to students Teams: Continuous attention to students. Email: Continuous attention to messages sent by students. Moodle: Continuous attention to the messages sent by students in the Moodle forums. 4. Modifications in the evaluation *Evaluation observations: The only change would be that the objective test would be conducted online. 5. Modifications to the bibliography or webgraphy There are no changes. They are available in Moodle.
(*)The teaching guide is the document in which the URV publishes the information about all its courses. It is a public document and cannot be modified. Only in exceptional cases can it be revised by the competent agent or duly revised so that it is in line with current legislation.
Universidade da Coruña - Rúa Maestranza 9, 15001 A Coruña - Tel. +34 981 16 70 00  Soporte Guías Docentes