Esta asignatura pertenece al grado de Ingeniería en Tecnología de la Información y se imparte en el segundo semestre del segundo curso. Tiene carácter obligatorio y consta de 6 créditos ECTS.

La asignatura introduce el estudio de la especificación formal de los lenguajes de programación y presenta los mecanismos de los lenguajes de programación, básicamente: sus sistemas de tipos, el control de secuencia y la abstracción. También se introduce el concepto de paradigma de lenguajes de programación, se identifican los paradigmas existentes, enmarcando los principales lenguajes de programación en paradigmas y destacando las características que los hacen adecuados para un determinado dominio o tipo de problemas. También introduce al alumno en el estudio de los procesadores de lenguajes, en particular en la estructura de un compilador. La asignatura se completa con un estudio de los lenguajes de marcado, en particular XML, y las características fundamentales de los lenguajes de script.  

Esta asignatura junto con la de Autómatas, Gramáticas y Lenguajes conforman la materia de Lenguajes de Programación. Dicha asignatura proporciona los fundamentos para poder abordar en ésta la especificación de los lenguajes de programación, sus mecanismos y el estudio de los procesadores de lenguajes.