Comprender cómo funcionan las construcciones de un lenguaje de programación y ser capaces de describir su comportamiento de forma detallada y precisa.

Aplicar distintas técnicas matemáticas al estudio de los lenguajes de programación y los programas escritos en ellos. En ocasiones se tratará de teorías y conceptos previamente estudiados y en otras de variantes nuevas, que generarán
una sinergia entre la nueva materia y las otras previamente estudiadas.

- Ser capaces de describir formalmente y analizar el significado de las construcciones básicas de lenguajes de programación correspondientes a varios paradigmas..
- Explicar los conceptos y resultados fundamentales relativos a las semánticas formales de los lenguajes de programación.
- Comparar diferentes descripciones semánticas de un mismo lenguaje de programación, entendiendo el sentido en que son equivalentes y la forma en que se complementan.
- Derivar distintas consecuencias que se siguen de las descripciones semánticas.
- Aplicar lo aprendido para elaborar la definición de otros lenguajes de programación o construcciones adicionales de los mismos.
- Aplicar lo aprendido para precisar el significado de programas concretos y en base a ello probar la corrección de los mismos.

Exposición por parte del profesor de los conceptos y resultados más importantes de cada tema. Estas exposiciones serán ilustradas con ejemplos y ampliadas a partir de las observaciones y preguntas de los alumnos, que habrán leído con antelación la parte correspondiente al tema bajo estudio en los libros de referencia.

Exposición de temas complementarios preparados por los alumnos.

Resolución de ejercicios sencillos para poner en práctica los conceptos y resultados previamente expuestos. Puesta en común de las soluciones aportadas por los alumnos a los problemas de mayor entidad que se les habrán propuesto para su resolución fuera de las clases.

2

4

8

Estudio de las semánticas formales para los lenguajes de programación.
Conceptos fundamentales que soportan las distintas semánticas y las relaciones entre las mismas.
Utilización de los formalismos para describir la semántica de construcciones de los lenguajes, calcular la semántica de programas y analizar las propiedades de los mismos. probando en particular su correección.
Aplicaciones.

Serían en su caso muy útiles algunos de los conceptos estudiados en Estructuras de datos y algoritmos, Métodos algorítmicos en resolución de problemas y Programación declarativa.

Mostrar al alumno la necesidad de contar con definiciones formales del significado de los lenguajes de programación, que permitan precisar lo que calcularán, y cómo, los programas escritos usando los mismos. A partir de ellas se podrá razonar sobre su corrección con respecto a una especificación dada.
Ofrecer al alumno un campo interesante para aplicar distintas técnicas y conceptos matemáticos aprendidos durante la carrera, viendo como utilizarlas para definir la semántica de los lenguajes de programación.
Comprender cómo funcionan las construcciones de los lenguajes de programación y ser capaces de describir su comportamiento de forma detallada y precisa.

- Semántica operacional, denotacional y axiomática para un lenguaje imperativo sencillo.
- Aplicaciones.
- Semántica operacional y denotacional para un lenguaje funcional sencillo.
- Elementos que permiten definir el significado de construcciones más complejas.

La metodología que se aplicará exigirá la participación activa del alumno en el "día a día", buscandose con ello un aprendizaje "continuo" que se pondrá de manifiesto a través de dicha participación.
En concreto, un 30% de la nota se conseguirá en base a dicha participación activa a todos los niveles: clases teóricas (planteando preguntas, comentarios, etc.) , resolución de ejercicios y problemas, preparación y exposición de trabajos, etc.
En consecuencia, el examen final, donde se espera que el alumno ratifique la adquisición de las competencias descritas anteriormente, generará un 70% de la nota.
Salvo posibles excepciones muy justificadas a ser evaluadas por el profesor, el baremo se mantendrá en la convocatoria extraordinaria, siendo posible presentar
ejercicios y trabajos para la misma de manera análoga a la ordinaria. La parte de la nota correspondiente a la participación, al corresponder con lo realizado durante
el curso, no será modificable.

- Hanne Riis Nielson y Flemming Nielson, Semantics with Applications. An Appetizer, Springer, 2007.
- Glynn Winskel, The Formal Semantics of Programming Languages, The MIT Press, 1993.

La asignatura dispondrá de un espacio en el Campus virtual que albergará la documentación que se considere oportuna.
Probablemente se facilitarán "transparencias" o cualquier tipo de documentación concreta para facilitar el estudio de la asignatura fuera de las clases, pero en modo alguno se podrá considerar que por medio de las mismas "se cubre" la
materia del curso y por tanto se puede suplir la asistencia a clase, que como queda dicho se considera absolutamente fundamental para superar la asignatura.