Universitat de Girona

Programa de l'assignatura

Curs 2003-04

3105200736 PARADIGMES DE PROGRAMACIÓ


Objectius  
Donar a l'alumne una visió amplia de les diferencies existents entre els llenguatges de programació.
Familiaritzar a l'estudiant amb els diferents paradigmes de programació.
Involucrar a l'alumne en l'especificació semàntica dels llenguatges de programació.
 
Prerrequisits  
Obligatoris: cap
Recomanats: Programació
 
Contingut (Programa)  
1.- Introducció. (Temporalització: 2h) 1.1. Concepte de llenguatge de programació
1.2. Història
1.3. Classes2.- Descripció dels diferents paradigmes. (Temporalització: 15h) 2.1. Imperatiu
2.2. Orientat a Objectes
2.3. Concurrent i paral·lel
2.4. Funcional
2.5. Lògic
2.6. Altres3.- Definició formal del llenguatges de Programació. (Temporalització: 3h) 3.1. Fases
3.2. Lèxic i sintaxis
3.3. Enfocaments semàntics4.- Semàntica d'atributs.( Temporalització: 6h) 4.1. Fonaments
4.2. Atributs heretats i sentetitzats
4.3. Exemple (Tiny)5.- Semàntica operacional. (Temporalització: 3h) 5.1. Fonaments
5.2. Exemple (Tiny)6.- Semàntica denotacional. (Temporalització: 12h) 6.1. Fonaments. Lambda calculus
6.2. Teoria de dominis
6.3. Teorema del punt fix
6.4. Exemple (Tiny)7.- Aspectes rellevants dels llenguatges (Temporalització: 2h) 7.1. Tipus de dades
7.2. Control de seqüència
7.3. Control de dades
 
Bibliografia  

Bibliografia bàsica a utilitzar durant el curs.

-PRATT, W: "Programming Languages: Design and implementation" 3a edició. Prentice- Hall, 1996
-HOROWITZ, E.: "Fundamentals of Programming Languages". Computer Science Press, 1993
-GHEZZI, C; JAZAYERI, M "Programming Language Concepts". J. Wiley & Sons, 1982
-ALLISON, L.: "A practical Introduction to Denotational Semantics", Cambridge Computer. Science Texts, 1986
-SEBESTA, R.W.:"Concepts of programming languages" Benjamin/Cummings, 1989 Inc,1989.
-WILSON, L.B; CLARK, R.G: "Comparative Programming Languages" Addison-Wesley, 1988
-SHETI, R: "Lenguajes de programación." Addison-Wesley 1992
-SLONNEGER, K.; KURTZ, B.: "Formal Sintax and Semantics of Programming Languages" Addison-Wesley, 1995
-PAGAN, F.: "Formal Sintax and Semantics of Programming Languages". Prentice-Hall, 1991
-FIELD, A.; HARRISON, P.:"Functional Programming" Addison-Wesley, 1988
-WINSKEL, G.:"The Formal Semantics of Programming Languages" MIT Press, 1993
-ROSCOE, A.W.; REED, G.M.: "Domains for Denotational Semantics" Prentice-Hall, 1992.
-BAL, H.E.; GRUNE, D.:"Programming Language Essentials" Addison-Wesley, 1994


-Manual específics per a cada llenguatge.
 
Mètodes docents  
Classes de teoria i problemes: 3 hores setmanals
Pràctiques: 1 hora setmanal
 
Tipus d'exàmens i avaluacions  
Un examen al final del quatrimestre que serà al 70% de la nota final i el restant 30% serà avaluat a les pràctiques.
Nota mínima de cadascuna de les parts 4.5/10
 
Informació addicional  
Pràctiques sobre els diferents paradigmes de programació
Pràctiques sobre els diferents models semàntics.
 
Llengua de les classes  
Català