Lo semantica dei linguaggi di programmazione si propone di studiare gli stessi per mezzo di modelli matematici, fornisce strumenti efficaci per l'analisi e la verifica dei programmi e consente una miglior comprensione dei linguaggi di programmazione stessi. Si introducono i diversi ``stili'' semantici e se ne studiano i risultati fondamentali.
Il corso consiste di 40 ore di lezioni in aula.
Introduzione. Semantica operazionale, denotazionale. Equivalenza delle semantiche.
La semantica assiomatica: le regole di Hoare; l'incompletezza.
Teoria dei domini. Introduzione ai domini. Le costruzioni fondamentali.
Ricorsione. Strategie di valutazione. Equazioni ricorsive. Punto fisso.
Tipi di ordine superiore. Tipi ricorsivi.
Argomenti avanzati.