Sillabo dell'insegnamento

• A - Fondamenti
SLP - Semantica dei Linguaggi di Programmazione
Introduzione alla teoria dei CPO e costruzioni su di essi
* CAL - Calcolabilita'
Definizione e descrizione delle classi delle funzioni ricorsive e primitive ricorsive
* CAL - Calcolabilita'
La tesi di Church-Turing, decidibilità, teoremi di ricorsione
* CAL - Calcolabilita'
Le Unlimited Register Machine e la loro corrispondenza con le funzioni ricorsive
SLP - Semantica dei Linguaggi di Programmazione
Information Systems e costruzioni su di essi
SLP - Semantica dei Linguaggi di Programmazione
Linguaggi con tipi ricorsivi eager e lazy: definizione, tipaggio, semantica operazionale e denotazionale
• D - Linguaggi
* S - Semantica
Semantica operazionale e denotazionale di un linguaggio funzionale, sia call by name che call by value
* S - Semantica
Equivalenza tra semantiche operazionali e denotazionali (sia call by value che call by name)
ALC - Astrazioni Linguistiche e Composizionalita'
Linguaggi con tipi di ordine superiore: semantica denotazionale e operazionale, adeguatezza