Semantica (2004/2005)

Corso a esaurimento

Codice insegnamento
4S00065
Docente
Andrea Masini
crediti
5
Altri corsi di studio in cui è offerto
Settore disciplinare
INF/01 - INFORMATICA
Lingua di erogazione
Italiano
Periodo
3° Q dal 11-apr-2005 al 10-giu-2005.

Orario lezioni

3° Q
Giorno Ora Tipo Luogo Note
martedì 10.30 - 12.30 lezione Aula D  
mercoledì 10.30 - 12.30 lezione Aula D  
giovedì 14.30 - 15.30 lezione Aula C  

Obiettivi formativi

Scopo del corso è quello di introdurre le principali tecniche matematiche usate nello studio dei linguaggi di programmazione:

* sistemi di tipi
* semantica operazionale
* domini
* semantica denotazionale

Il corso, di tipo prettamente teorico, si rivolge a studenti della laurea specialistica in informatica con forti interessi allo studio dei fondamenti dei linguaggi di programmazione.

Il corso presuppone le competenze acquisite nei corsi di "Programmazione", "Logica", "Algebra" e "Fondamenti dell'informatica" della laurea triennale in informatica.

Programma

1. Il concetto di semantica dei linguaggi di programmazione: il caso di un semplicissimo linguaggio imperativo
2. Il lamda-calcolo tipato semplice: sintassi e semantica
3. Il linguaggio PCF (Programming Language for Computable Functions)
1. Semantica operazionale di PCF: Call-by-Value
2. Ordini parziali completi (CPO) e punti fissi
3. Semantica a Punto-Fisso di PCF
4. Confronto tra semantica operazionale e semantica denotazionale
5. Call-by-Value per PCF
4. Polimorfismo
1. Il sistema polimorfo di tipi di ML
2. Il sistema di inferenza dei tipi
3. Il lambda-calcolo polimorfo: sistema F di Girard (cenni)

L'attività formativa sarà basata su lezioni frontali.

Testi di riferimento
Autore Titolo Casa editrice Anno ISBN Note
Carl A. Gunter Semantics of Programming Languages MIT Press 1992 0262570955

Modalità d'esame

L'esame consiste in una prova orale

Materiale didattico

Documenti

Statistiche per i requisiti di trasparenza (Attuazione Art. 2 del D.M. 31/10/2007, n. 544)

I dati relativi all'AA 2004/2005 non sono ancora disponibili