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.
