Teaching GuideTerm Faculty of Computer Science |
Grao en Enxeñaría Informática |
![]() |
![]() |
| ![]() ![]() ![]() |
|||||||||||||||||||||||||||||||
Identifying Data | 2021/22 | |||||||||||||||||||||||||||||||
Subject (*) | Programming Language Design | Code | 614G01065 | |||||||||||||||||||||||||||||
Study programme |
|
|||||||||||||||||||||||||||||||
Descriptors | Cycle | Period | Year | Type | Credits | |||||||||||||||||||||||||||
Graduate | 1st four-month period |
Fourth | Optional | 6 | ||||||||||||||||||||||||||||
Language |
|
|||||||||||||||||||||||||||||||
Teaching method | Face-to-face | |||||||||||||||||||||||||||||||
Prerequisites | ||||||||||||||||||||||||||||||||
Department | Ciencias da Computación e Tecnoloxías da Información Computación |
|||||||||||||||||||||||||||||||
Coordinador |
|
|
||||||||||||||||||||||||||||||
Lecturers |
|
|
||||||||||||||||||||||||||||||
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 could 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 could 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. |
|