Sillabo dell'insegnamento

• A - Fondamenti
SLP - Semantica dei Linguaggi di Programmazione
Semantica di un semplice linguaggio imperativo
SLP - Semantica dei Linguaggi di Programmazione
Domini per la semantica denotazionale: ordini, reticoli, teoremi di punto fisso. La teoria dei domini, domini base e costruttori di dominio.
SLP - Semantica dei Linguaggi di Programmazione
Semantica denotazionale di linguaggi funzionali con meccanismi di valutazione call by name e call by value.
SLP - Semantica dei Linguaggi di Programmazione
Teoria della ricorsione, teorema di Bekic e induzione di punto fisso.
SLP - Semantica dei Linguaggi di Programmazione
Semantica denotazionale tramite continuazioni di un linguaggio imperativo con environment, store, chiamate di procedura ed eccezioni.
SLP - Semantica dei Linguaggi di Programmazione
Linguaggi concorrenti: CSP, CCS, sistemi di transazione etichettati, la relazione di bisimulazione, logica di Hennessy-Milner.