| N | Data | Ora | Aula | Tipo | Argomento |
| 1t | Mar 20/09 | 16-18 | C | teoria | Introduzione al corso e brevi cenni storici |
| 2t | Mer 21/09 | 11-13 | L | teoria | Astrazione e paradigmi di programmazione |
| 3t | Gio 22/09 | 14-16 | A | teoria | Alcuni concetti su Java (e un volume introduttivo) |
| 4t | Mar 27/09 | 16-18 | C | teoria | Un modello operazionale per Java (e un tool per simularlo) |
| 5t | Mer 29/09 | 11-13 | A/B | teoria | Sul dispatch dinamico (lezione con il Prof. Ferrari) |
| 6t | Gio 30/09 | 14-16 | A/B | teoria | Le eccezioni, anche operazionalmente (lezione con il Prof. Ferrari) |
| 7t | Mar 04/10 | 16-18 | C | teoria | Su specifica e implementazione dei tipi di dato |
| 1e | Mer 05/10 | 11-13 | A | esercizi | La prima esercitazione (BYOD) |
| 2e | Gio 06/10 | 14-16 | A | esercizi | Ricevimento collettivo e soluzione prima esercitazione |
| 8t | Mar 11/10 | 16-18 | C | teoria | Ragionare sui tipi di dato |
| 9t | Mer 12/10 | 11-13 | A | teoria | Sul debugging dei tipi di dato e sulle gerarchie di tipi |
| 3e | Gio 13/10 | 14-16 | A | esercizi | La seconda esercitazione (BYOD) |
| 4e | Mar 18/10 | 16-18 | C | esercizi | Ricevimento collettivo e soluzione seconda esercitazione |
| 10t | Mer 19/10 | 11-13 | A | teoria | Ancora sulle gerarchie di tipi |
| 11t | Gio 20/10 | 14-16 | A | teoria | Introduzione ai generics |
| 12t | Mar 25/10 | 16-18 | C | teoria | JCF: Java Collections Framework (con ArrayIterator e RevVector) |
| 5e | Mer 26/10 | 11-13 | A | esercizi | La terza esercitazione (BYOD) |
| 6e | Gio 27/10 | 14-16 | A | esercizi | Ricevimento collettivo e soluzione terza esercitazione |
| -- | Gio 03/11 | 14-16 | A/E | verifica | Soluzione prima verifica (con le classi Sequence, MySequence e MyFilteredSequence) |
| 7e | Mar 08/11 | 16-18 | C | esercizi | Soluzione prima verifica e presentazione primo progetto |
| 15t | Mer 09/11 | 11-13 | A | teoria | Implementare/compilare e rapida introduzione a OCaml |
| -- | --- ----- | ----- | A | esercizi | La quarta esercitazione |
| 16t | Gio 10/11 | 14-16 | A | teoria | Realizzare un interprete in OCaml (con codice completo) |
| 17t | Mar 15/11 | 16-18 | C | teoria | Introduzione alla semantica operazionale (interprete ricorsivo e con codice intermedio) |
| 18t | Mer 16/11 | 11-13 | A | teoria | Sui dati |
| 19t | Gio 17/11 | 14-16 | A | teoria | Nomi e binding |
| 20t | Mar 22/11 | 16-18 | C | teoria | Controllo di sequenza |
| 21t | Mer 23/11 | 11-13 | A | teoria | Sulle procedure |
| 8e | Gio 24/11 | 14-16 | A | esercizi | La quinta esercitazione (BYOD) |
| 22t | Mar 29/11 | 16-18 | C | teoria | Implementare un linguaggio funzionale |
| 23t | Mer 30/11 | 11-13 | A | teoria | Implementare un linguaggio imperativo |
| 9e | Gio 01/12 | 14-16 | A | esercizi | La sesta esercitazione (e una possibile implementazione) |
| 24t | Mar 06/12 | 16-18 | C | teoria | Passaggio dei parametri |
| 25t | Mer 07/12 | 11-13 | A | teoria | Implementare classi e oggetti |
| 26t | Mar 13/12 | 16-18 | C | teoria | Implementare la garbage collection |
| 10e | Mer 14/12 | 11-13 | A | esercizi | La settima esercitazione |
| 11e | Gio 15/12 | 14-16 | A | esercizi | Ricevimento collettivo e presentazione secondo progetto |
| -- | Gio 22/12 | 14-16 | A/E | verifica | Soluzione seconda verifica |