|
Fundamentos de Lenguajes de
Programación
(Optativa de 2º ciclo)
Curso 2009/10
Créditos:
5 teóricos + 1 práctico
Profesora: Marisa Navarro
Horario clases:
Lunes: 12:45 - 14:00
Martes: 11:30 a 12:45
Miércoles:
10:15 a 11:30
Aula: 2.8
Objetivos:
El objetivo de
esta asignatura consiste en el estudio de las técnicas y metalenguajes
formales que se usan para modelar y analizar
las propiedades esenciales de los lenguajes de programación. En
concreto, se estudian distintos métodos para describir la sintaxis
(forma) y la semántica (significado) de dichos lenguajes. Mas que el
estudio de la base teórica (o matemática) subyacente a cada método, se
hará especial énfasis en la aplicación de tales metalenguajes en la
definición de lenguajes de programación, a través de lenguajes-ejemplo
de tipo imperativo. Se dará también una introducción a la semántica de
lenguajes de tipo declarativo en los dos últimos temas.
Temario:
Tema
1. Introducción.
Tema
2. Sintaxis
independiente del contexto: BNF.
Tema
3. Sintaxis
dependiente del contexto: Gramáticas de Atributos.
Tema
4. Semántica:
principales enfoques.
Tema
5 Semántica
operacional: Metalenguaje VDL.
Tema
6. Semántica denotacional.
Tema
7. Semántica
de los lenguajes funcionales.
Tema
8. Semántica
de los lenguajes lógicos.
Bibliografía:
-
F. G. Pagan. "Formal Specifications of
Programming Languages", Prentice
Hall Software Series, 1981.
-
B. Meyer. “Introduction to the Theory of
Programming Languages", Prentice Hall International Series in Computer Science, 1990.
-
L. Allison.. "A practical
Introduction to Denotational Semantics”" Cambridge University Press,
1986.
- K. R. Apt. "Logic Programming". Cap.10 de
Handbook of Theoretical Computer Science. Elsevier Science
Publishers B.V, 1990.
Evaluación:
Se
realizará mediante examen final de la materia impartida (con controles parciales).
|