Obiettivi formativi: Scopo del corso è quello di introdurre i concetti fondamentali che stanno alla base della progettazione ed implementazione di un linguaggio di programmazione moderno. In particolare si porrà l'attenzione sul ruolo centrale che hanno i tipi e la semantica operazionale nella fase di comprensione e progettazione di un linguaggio di programmazione, e di come sia possibile derivare sistematicamente interpreti e macchine astratte a partire da una corretta e ben formalizzata definizione del linguaggio.

Propedeuticità consigliate: Il corso ha come prerequisiti i corsi del I e II anno e la parte di linguaggi formali ed automi del corso di Fondamenti dell'Informatica. Il corso è propedeutico al corso di Compilatori.

Programma dettagliato

• Definizioni induttive e sistemi di transizione (2h)
• Sintassi concreta e sintassi astratta (1h)
• Semantica statica e dinamica (3h)
• Un linguaggio funzionale MinML (2h)
• Tipi per MinML (1h)
• Un linguaggio imperativo TinyC (4h)
• Macchine astratte (4h)
• Strutture dati ed astrazione (2h)
• Polimorfismo (2h)
• Data Abstraction (4h)
• Linguaggi ad oggetti: F-Java (6h)
• Subtyping ed ereditarietà (4h)
• Cenni di implementazione: gestione della memoria (6h)

Modalità d'esame

Esame scritto ed orale facoltativo. Orale obbligatorio per confermare un voto maggiore o uguale a 26

My Home page