Università di Pisa
Anno Accademico 2011-2012
docente: prof. Marco Bellia
Guida al calendario e al materiale di studio: Qui è riportato l'argomento trattato e il materiale con cui potete procedere al relativo studio. Questo materiale fa riferimento ad un testo e a lucidi: Questi non sono intesi in alternativa tra loro. I lucidi devono essere utilizzati come guida all'apprendimento e il testo come completamento e chiarimento di quanto riportato sui lucidi. Ciò evidenzia il fatto che taluni argomenti introducono formulazioni e/o riflessioni non presenti nel testo
lunedì 20/2 | Linguaggi descrittivi, prescrittivi, caratteristiche, paradigmi | cap1-3* | lezione 1-lezione 2 |
---|---|---|---|
mercoledì 22/2 | Naming, binding, Env, Store, AR, Scope Formalizzazione(F), Uso(U), Implementazione(I) | cap4* | lezioni 3-4 |
lunedì 27/2 | Memoria statica, stack, Heap: FUI | cap5* | lezioni 5-6*** |
mercoledì 29/2 | Strumenti per l'analisi dei linguaggi. Dichiarazioni sequenziali, parallele: FUI | par1-3** | lezioni 7-8 |
lunedì 5/3 | Espressioni | cap6*+par4** | lezioni 9-10 |
mercoledì 7/3 | Comandi | cap6*+par5** | lezioni 11-12 |
lunedì 12/3 | Esercitazione: esercizi testo e dispensa | -- | -- |
mercoledì 14/3 | Trasmissione Parametri | cap7*+par6-6.1** | lezioni 13-14 |
lunedì 19/3 | Shallow e Deep B. + esercizi | lezioni 15-16-17 | |
mercoledì 21/3 | HOS: Lambda Lifting, currying, AR retained | lezioni 15-16-17*** | |
lunedì 26/3 | Tipi di dato | cap.8* | lezioni 18-19 |
merceledì 28/3 | Tipi del linguaggio: Sistemi F1, F2 | lezione 20 | |
lunedì 16/4 | Logic Programming: I fondamenti | lezione 21-22 | |
mercoledì 18/4 | PROLOG: SLD e Implementazione | cap.12* | lezione 23-24 |
lunedì 23/4 | PROLOG: controllo risolventi | lezione 25 | |
lunedì 30/4 | Esercitazione: LP + Trasmissione | Colored Trasmissione | |
mercoledì 2/5 | ADT-API: FUI | cap.9* | lezione26-27 |
lunedì 7/5 | FL: Fondamenti - ADT + HO | cap.11* | lezione28 OcamlView |
mercoledì 9/5 | Esercitazione | Ocaml Prolog | |
lunedì 14/5 | OO: Fondamenti | lezione29-30 | |
mercoledì 16/5 | Ereditarietà e Riuso + Esercitazione | cap.10* | lezione29-30*** |
venerdì 21/5 | Esercitazione | Java Ocaml Prolog | |
Lunedì 23/5 | Esercitazione | Java*** Ocaml*** Prolog |
*[GM] - vedi riferimenti bibliografici in Notizie Essenziali
**[BM] - vedi riferimenti bibliografici in Notizie Essenziali
***: seconda parte dei lucidi scaricati per le lezioni precedenti