Identifying Data					2019/20
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	Face-to-face
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.
Study programme competencies Learning aims Contents Planning Methodologies Personalized attention Assessment Sources of information Recommendations
(*)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.