Lenguajes y Paradigmas de
Programación
Nombre: Lenguajes y
Paradigmas de
Programación
Semestre: 3B
Codigo: LPP
Creditos: 6 (3 Teoría + 3 Prácticas)
Profesores: María Alpuente
Frasnedo y
María
José Ramírez Quintana
Co-Prerrequisitos (recomendados): ninguno
Objetivos
El objetivo del
curso es
introducir los fundamentos y las aplicaciones de los paradigmas
clave en
los que se enmarcan los lenguajes de programación actuales: funcional,
lógico, imperativo, objetos y otros.
Este objetivo
general se
concreta en capacitar a los estudiantes para entender los lenguajes de
programación desde diferentes puntos de vista:
- según el modelo
subyacente (paradigma)
- según las componentes
fundamentales presentes en todo lenguaje de programación (estructuras
de datos, modo de ejecución, ...)
- como objetos formales
dotados de una estructura (sintaxis) y un significado (semántica),
según diversos enfoques (diseñador, implementador, programador)
En el laboratorio
se
trabajará con varios lenguajes: Haskell (funcional) y Prolog
(lógico). Al finalizar el curso, los estudiantes serán capaces de
diferenciar las características propias de los principales paradigmas,
resolver un mismo problema en diferentes estilos y escribir pequeños
programas en cada lenguaje
Temario
- Introducción
Concepto
de lenguaje de programación
Historia
Criterios
de diseño
Principales
paradigmas
Estructura sintáctica de los
programas. Notación BNF. Sintaxis y
Compilación. Concepto y necesidad de las
descripciones semánticas.
Semánticas denotacional, axiomática, operacional.
Equivalencia de
programas. Corrección y Completitud.
-
Parte ii:
Implementación de los lenguajes de programación
- Paradigma funcional
introducción
tipos de datos, inferencia de tipos
polimorfismo
recursión
evaluación impaciente y perezosa
orden superior
- Paradigma lógico
variables
lógicas
unificación
y resolución
búsqueda
de soluciones (backtracking)
control
- Paradigma imperativo
abstracción
de datos
evaluación
de expresiones
estructuras
de control
subprogramas,
paso de parámetros, excepciones
- Otros paradigmas
Orientación
a Objetos
Concurrencia
Evaluación La calificación de la
asignatura viene determinada por la
nota de un examen teórico-práctico (cuestiones), siendo necesario
obtener también un APTO en el laboratorio.
Bibliografia
básica
- Bird, R. Introducción a la Programación Funcional, Prentice Hall, 2000
- P. Julián, M. Alpuente.
Programación Lógica, Teoría y Práctica. Pearson, 2007.
- Pratt, T.W.; Zelkowitz,
M.V. Lenguajes de programación: diseño e implementación, Prentice-Hall,
1998
- Scott, M.L. Programming Language Pragmatics, Morgan
Kaufmann Publishers, 2000
Bibliografia
complementaria
- Apt, K.R. From Logic Programming to Prolog, Prentice
Hall, 1996
- B. C. Ruiz, F. Gutierrez, P. Guerrero, J. Gallardo, Razonando con Haskell, Thomson, 2004