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.
SLP - Semantica dei Linguaggi di Programmazione
Sistemi concorrenti a topologia dinamica: il π-calcolo.
SLP - Semantica dei Linguaggi di Programmazione
Sintassi, semantica operazionale late e early, bisimulazioni late, early, open. Cenni a Pict.
SLP - Semantica dei Linguaggi di Programmazione
Sistemi per la sicurezza: lo spi-calcolo. Sintassi, semantica operazionale, verifica di proprietà di sicurezza mediante bisimulazioni.
SLP - Semantica dei Linguaggi di Programmazione
Il tool ProVerif.
SLP - Semantica dei Linguaggi di Programmazione
Sistemi per la mobilità: il calcolo degli ambienti mobili. Sintassi, semantica operazionale, logica modale spaziale, sistemi di tipi. Varianti e applicazioni.
SLP - Semantica dei Linguaggi di Programmazione
Metamodelli per i sistemi concorrenti e distribuiti: i bigrafi.