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.
(*)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.
Subjects
