Programmazione II

A.A. 2009--2010

docente: Francesca Levi (levifran@di.unipi.it )

INFORMAZIONI SULL'ESAME : Scritto e orale. L'esame orale deve essere sostenut nella stessa sessione dello scritto.

ORARIO DELLE LEZIONI: Martedi' 11.00-16.00, Giovedi' 14.00-16.00:

RICEVIMENTO al Polo Universitario, La Spezia: su appuntamento o durante le lezioni:

LUCIDI DELLE LEZIONI:

          Intro Introduzione al Corso (programma ed informazioni)

           Lucidi Macchine Astratte

           Lucidi Introduzione a Java

           Lucidi Tipi Primitivi

           (Lucidi) Lo stato

           Lucidi Ereditarieta'

           (Ese1)   (Ese2) Errori di Compilazione

           Lucidi Esercitazione

           (Introduzione) I meccanismi di astrazione (Astrazione Procedurale)

           (Part I) (Part II) Astrazione sui dati

           (Esercizio I) (Esercizi II) ESERCIZI

           (Esercizio) Giovedi' 22: Esercitazione

           (Astrazione sul controllo)

           (Part I) (Part II) Esercizi

           (Part I) (Part II) Gerarchie di Tipi

           (Soluzione) (Risultati) Compitino del 3 novembre 2009

           (Esercizi)

           (Part I) (Part II) S-Espressioni

           (Polimorfismo)

           (Esercizio)

           (Insiemi sommabili) (Albero binario etichettato) Esercizi

           (OCAML)

           (Moduli e Interfacce)

           (Semantica Operazionale)

           (Interprete in OCAML)