PR2 - Elenco Lezioni, Argomenti e Riferimenti


N Data Ora Aula Tipo Argomento
1t Mar 19/09 14-16 C teoria Introduzione al corso e brevi cenni storici
2t Mer 20/09 11-13 C teoria Astrazione e paradigmi di programmazione
3t Gio 21/09 16-18 C teoria Alcuni concetti su Java (capitoli 19, 20 e 23 delle note)
e un testo introduttivo
4t Lun 25/09 16-18 E teoria Un modello operazionale per Java (capitoli 22 e 23 delle note)
e un tool per simularlo (basato su un altro tool)
5t Gio 28/09 16-18 C teoria Sul dispatch dinamico (capitolo 24 delle note)
6t Lun 02/10 16-18 E teoria Le eccezioni (capitolo 27 delle note), anche operazionalmente
1e Mar 03/10 14-16 C esercizi La prima esercitazione (BYOD)
7t Mer 04/10 11-13 C teoria Su specifica e implementazione dei tipi di dato (capitolo 5 di LG)
2e Gio 05/10 16-18 C esercizi Ricevimento collettivo e ] prima esercitazione
8t Lun 09/10 16-18 E teoria Ragionare sui tipi di dato (capitolo 5 di LG)
9t Mar 10/10 14-16 C teoria Sul debugging e sulle gerarchie di tipi (capitoli 5 e 7 di LG)
3e Mer 11/10 11-13 C esercizi La seconda esercitazione (BYOD)
10t Gio 12/10 16-18 E teoria Ancora sul principio di sostituzione (capitolo 7 di LG)
4e Lun 16/10 16-18 C esercizi Ricevimento collettivo e soluzione seconda esercitazione
11t Lun 23/10 16-18 E teoria Introduzione ai generics (il colpevole e il tutorial originale)
12t Mar 24/10 14-16 C teoria JCF: Java Collections Framework (con ArrayIterator e RevVector)
5e Mer 25/10 11-13 C esercizi La terza esercitazione (BYOD)
6e Gio 26/10 16-18 C esercizi Ricevimento collettivo e soluzione terza esercitazione
-- Ven 27/10 16-18 C esercizi Una esercitazione extra
-- Gio 02/11 14-16 A, E verifica Soluzione prima verifica (con le classi Game, ArrayGame e FullGame)
7e Lun 06/11 16-18 E esercizi Soluzione prima verifica e presentazione primo progetto
15t Mar 14/11 14-16 C teoria Implementare/compilare (con il draft originale)
--- Mar 14/11 14-16 - teoria Rapida introduzione a OCaML (e un tool online)
16t Mer 15/11 11-13 C teoria Realizzare un interprete in OCaML (con codice completo)
8e Lun 20/11 16-18 E esercizi La quarta esercitazione (BYOD)
17t Mar 21/11 14-16 C teoria Introduzione alla semantica operazionale (interprete ricorsivo e con codice intermedio)
18t Mer 22/11 11-13 C teoria Sui dati (capitolo 8 di GM) (con i moduli Pila, SemPila, ImpPila, MPila e ImpMPila)
19t Gio 23/11 16-18 C teoria Nomi e binding (capitolo 4 di GM) (con i moduli Env, FunEnv e ListEnv)
20t Lun 27/11 16-18 E teoria Sulle procedure (capitoli 5 e 7 di GM)
21t Gio 30/11 16-18 C teoria Implementare un linguaggio funzionale (e l'interprete di riferimento)
9e Lun 04/12 16-18 E esercizi La quinta esercitazione (BYOD)
23t Mar 05/12 14-16 C teoria Implementare classi e oggetti (capitolo 10 di GM)
23t Mer 06/12 11-13 C teoria Implementare la garbage collection (capitolo 5 di GM) (la situazione in Java)
10e Gio 07/12 16-18 C esercizi La sesta esercitazione (BYOD)
-- Lun 11/12 16-18 C esercizi Una esercitazione extra (lezione rinviata per allerta meteo)
24t Mar 12/12 14-16 C teoria Un esempio di simulazione del runtime stack
11e Mer 13/12 11-13 C esercizi La settima esercitazione
12e Gio 14/12 16-18 C esercizi Ricevimento collettivo, esercitazione extra e presentazione secondo progetto
-- Lun 18/12 14-16 C, E verifica Soluzione seconda verifica