Identifying Data					2015/16
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	Obligatoria	6
Language	Spanish
Teaching method	Face-to-face
Prerequisites
Department	Computación
Coordinador	Alonso Pardo, Miguel angel		E-mail	miguel.alonso@udc.es
Lecturers	Alonso Pardo, Miguel angel Gómez Rodríguez, Carlos Vilares Ferro, Jesus		E-mail	miguel.alonso@udc.es carlos.gomez@udc.es jesus.vilares@udc.es
Web	http://campusvirtual.udc.es
General description	En esta asignatura se tratan aspectos de la especificación y diseño de lenguajes de programación: * Criterios de diseño en las principales estructuras de control y de datos de los lenguajes de programación * Diseño de lenguajes de programación orientados a objetos. * Modelos para la definición formal de la semántica de los lenguajes de programación * Especificación formal de los sistemas de tipos. Relaciones de subtipado * Computabilidad. Análisis de complejidad y su relación con el diseño de lenguajes de programación.
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.