• Intero corso (pdf, versione non tutta aggiornata)
• Introduzione (html) (versione powerpoint)
• Implementazione dei linguaggi (html) (versione powerpoint)
• Decomposizione e astrazione (html) (versione powerpoint)
• L'ereditarieta' in Java (html) (versione powerpoint)
• Semantica operazionale di Java: lo stato (html) (versione powerpoint)
• Semantica operazionale di Java: le regole di transizione (versione powerpoint)
• Esercizi sulla semantica
• Astrazioni procedurali ed eccezioni (versione powerpoint)
• Astrazioni sui dati 1: specifica ed implementazione (versione powerpoint)
• Progettazione sistematica e dettagliata di un tipo di dato astratto (html e ppt)
• Astrazioni sui dati 2: ragionare sulle astrazioni e sulla loro implementazione (html e ppt)
• Iterazione astratta (versione powerpoint)
• Un esempio con generatore: la lista ordinata (versione powerpoint)
• Un esempio con generatore: le S-espressioni (versione powerpoint)
• Gerarchie di tipi: parte 1 (html e ppt)
• Gerarchie di tipi: parte 2 (versione powerpoint)
• S-espressioni progettate in modo gerarchico (versione powerpoint)
• Polimorfismo (html e ppt)
• Esercizio da preparare sulle liste polimorfe (html e ppt)
• Threads (html e ppt)
• Testing (html e ppt)
• Programmi Java (anche OmoList)
• Testi di esercizi su dimostrazioni

Correzione primo compitino 2004 esercizio 1

Correzione primo compitino 2004 esercizio 2

Correzione primo compitino 2004 esercizio 3