- Oggetto:
Denotational Semantics
- Oggetto:
Academic year 2012/2013
- Course ID
- SD2012
- Teacher
- Prof. Luca Luigi Paolini (Titolare del corso)
- Year
- 1° anno
- Teaching period
- Annuale
- Type
- A scelta dello studente
- Credits/Recognition
- 2
- Course disciplinary sector (SSD)
- INF/01 - informatica
- Delivery
- Tradizionale
- Language
- Italiano
- Attendance
- Obbligatoria
- Type of examination
- Orale
- Oggetto:
Sommario del corso
- Oggetto:
Course objectives
La semantica denotazionale formalizza il significato dei linguaggi di programmazione e delle logiche costruttive individuando opportune entita matematiche adatte a descriverne i significati. L'obiettivo primario del corso e' presentare le caratteristiche essenziali di tali strutture matematiche, precipuamente nella via indicata dai lavori di Christopher Strachey e Dana Scott, ma non solo.
- Oggetto:
Program
In linea di massima gli argomenti principali saranno:
- PCF come modello per la programmazione funzionale tipata.
- Il problema della "full abstraction": estensioni non sequenziali del linguaggio.
- Cenni ai modelli alla Heyting-Kolmogorov di una logica costruttiva.
Suggested readings and bibliography
- Oggetto:
Class schedule
Lessons: dal 23/10/2012 to 15/11/2012
- Oggetto:
Note
ORARIO DELLE LEZIONI
DATA
GIORNO ORARIO AULA 23/10 Martedi 16-18 Seminari 24/10 Mercoledi 16-18 Seminari 25/10 Giovedi 16-18 Seminari 29/10 Lunedi 16-18 Seminari 30/10 Martedi 16-18 Seminari 7/11 Mercoledi 16-18 Seminari 8/11 Giovedi 16-18 Seminari 19/11 Lunedì 16-18 Seminari 20/11 Martedi 16-18 Seminari 21/11 Mercoledi 16-18 Seminari - Oggetto: