Fonaments de la Programació (FP)
| Professors Responsables: |
FERNANDO OREJAS VALDÉS (orejas lsi.upc.edu)
|
|
Crèdits: 6.0 (4.5 T 1.5 P 0.0 L)
| |
Departament:
LSI
|
Tipus d'assignatura
Optativa per la EI
Requisits de l'assignatura
|
DLP
- Pre-correquisit per la EI
|
|
|
PD
- Pre-requisit per la EI
|
|
Objectius docents
L'objectiu del curs de Fonaments de la Programació és l'estudi
d'alguns aspectes teòrics en el que es fonamenta l'estudi dels
llenguatges de programació amb émfasi a la semàntica
denotacional. En particular el curs introdueix, d'una banda, l'estudi de les
construccions matemàtiques necessàries per a aquesta classe de
definicions semàntiques i, de l'altre, algunes de les tècniques
específiques utilitzades en la definició dels llenguatges de
programació.
Programa
1. Introducció a la semàntica dels llenguatges de
programació
1.1 Tipus de definicions semàntiques
1.2 Semàntica axiomàtica
1.3 Semàntica operacional
1.4 Introducció a la semàntica denotacional
1.5 El problema de les definicions recursives
2. Teoria de Punts Fixos
2.1 Definicions bàsiques: cpo's, funcions estrictes, monòtones i
contínues
2.2 Construcció de cpo's: cpo's plans, suma, producte i espais de
funcions
2.3 El teorema de punt de Knaster-Tarski
2.4 Aplicacions del teorema de punt fixe: interpretació abstracta de
programes.
3. Semàntica Denotacional dels Llenguatges de Programació
3.1 Definicions recursives: ús de l'operador de punt fixe
3.2 Declaracions i estructura de blocs
3.3 Continuacions
4. Introducció a la Teoria de Dominis
4.1 El problema de la definició recursiva de dominis: les
seqüències
4.2 Successions de cpo's. Límits
Avaluació
Hi haurà un examen final per a fer a casa.
Bibliografia
Bibliografia bàsica
- ALLISON, L.: A Practical Introduccion to Denotational Semantics Cambridge Computer Science Texts 23, 1986
- FIELD, A; HARRISON, P Functional Programming Addison Weley, 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
|
