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 soluzione 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)
-- --- ---- ----- ----- --- FINO QUA
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
-- Gio 02/11 14-14 C, E, N1 verifica Soluzione prima verifica
7e Lun 06/11 16-18 E esercizi Soluzione prima verifica e presentazione primo progetto
15t Lun 13/11 16-18 E teoria Implementare/compilare e rapida introduzione a OCaml
16t Mar 14/11 14-16 C teoria Realizzare un interprete in OCaml (con codice completo)
8e Mer 15/11 11-13 C esercizi La quarta esercitazione
17t Lun 20/11 16-18 E teoria Introduzione alla semantica operazionale (interprete ricorsivo e con codice intermedio)
18t Mar 21/11 14-16 C teoria Sui dati
19t Mer 22/11 11-13 C teoria Nomi e binding
20t Gio 23/11 16-18 C teoria Controllo di sequenza
21t Lun 27/11 16-18 E teoria Sulle procedure
9e Lun 04/12 16-18 E esercizi La quinta esercitazione (BYOD)
22t Mar 05/12 14-16 C teoria Implementare un linguaggio funzionale
23t Mer 06/12 14-16 C teoria Implementare un linguaggio imperativo
10e Gio 07/12 14-16 C esercizi La sesta esercitazione (e una possibile implementazione)
24t Lun 11/12 16-18 E teoria Passaggio dei parametri
25t Mar 12/12 14-16 C teoria Implementare classi e oggetti
26t Mer 13/12 14-16 C teoria Implementare la garbage collection
11e Gio 14/12 16-18 C esercizi La settima esercitazione
12e ??? ??/12 ??-?? C esercizi Ricevimento collettivo e presentazione secondo progetto
-- Lun 18/12 ??-?? ?? verifica Soluzione seconda verifica