Programmazione Avanzata

Corso di Laurea Specialistica in Informatica

Anno Accademico 2007/08

Stefano Guerrini

guerrini at di.uniroma1.it

[ Lezioni ] [ Corso 2007-08 ] [ Pagina principale ]

• lun 25/02
  Presentazione del corso. Breve storia dei linguaggi di programmazione.
  • Lucidi della lezione: formato pdf, 2 lucidi per pagina.

• mer 27/03
  Macchine astratte, linguaggi, interpreti e compilatori.
  • Lucidi della lezione: formato pdf, 2 lucidi per pagina.

• lun 03/03
  
• mer 05/03
  Semantica denotazionale
  • Lucidi della lezione: formato pdf, 2 lucidi per pagina

• lun 10/03
  Semantica operazionale
  • Lucidi della lezione: formato pdf, 2 lucidi per pagina

• mer 12/03
  Introduzione a OCAML
  • Lucidi della lezione: formato pdf, 2 lucidi per pagina

• lun 17/03
  LEZIONE ANNULLATA

• mer 19/03
  Introduzione a OCAML
  • Lucidi della lezione: formato pdf, 2 lucidi per pagina

• lun 24/03
• mer 26/03
  Implementazione in OCAML di un interprete basato sulla semantica denotazionale di un linguaggio funzionale, con blocchi, ricorsione, e alcuni costrutti imperativi (while e assegnato).
  • Codice: archivio compresso (tar/gzipped)

• lun 31/03
  Esempio di implementazione di un operatore di punto fisso in OCAML.
  Analisi lessicale: introduzione e primi esempi di uso di lex.
  • Codice: definizione dell'operatore di punto fisso fix ed alcuni esempi
  • URL: http://www.epaperpress.com/lexandyacc/index.html: introduzione a lex e yacc.

• mer 02/04
  Analisi sintattica: introduzione e primi esempi di uso di yacc.
  • URL: http://www.epaperpress.com/lexandyacc/index.html: introduzione a lex e yacc.

• lun 07/04
  LEZIONE ANNULLATA (Causa Consiglio di Corso di Laurea)

• mer 09/04
  LEZIONE ANNULLATA (Causa Consiglio di Dipartimento)

• lun 14/04
  SOSPENSIONE DELLA DIDATTICA (Elezioni politiche)

• mer 16/04
  Polimorfismo
  
  • Lucidi: estratti dal libro Adam Brooks Webber. Modern Programming Languages: A Practical Introduction. Capitolo 3.
    
  • Lettura di approfondimento: Luca Cardelli and Peter Wegner. On understanding types, data abstraction, and polymorphism.

• lun 21/04
• mer 23/04
  Esercitazioni sull'uso di lex e yacc.
  • Progettino: Sintassi concreta per il linguaggio di cui si è visto l'interprete a lezione

• lun 28/04
  Bounded parametric polymorphism in C++ e Java.
  
  • Materiale disponibile sul web: lucidi di un altro corso

• mer 30/04
  Tipi e metodi generici in Java.
  • Materiale disponibile sul web:
    • Sun tutorial su Java Generics
    • articolo/tutorial di Gilad Bracha su Java Generics: (versione html) (versione pdf)
    • Lezioni di Deitel & Associates su Java Generics. Fanno riferimento al libro: Harvey & Paul Deitel & Associates Inc., Java How to Program
    • Un FAQ/tutorial su Java Generics

• lun 05/05
  Esercitazione sui generici in Java.
  • Progettino: Progettazione di una gerarchia per relazioni e grafi.

• mer 07/05
  Esercitazione sui generici in Java.
  • Progettino: Progettazione di una gerarchia per relazioni e grafi.

• lun 12/05
  Introduzione ai pattern.
  • Libro: E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns. Elements of Reusable Object-Oriented Software disponibile anche la versione italiana. Gli autori sono anche noti come The Gang of Four (GoF).
  • Libro (disponibile sul web): James W. Cooper. The Design Patterns Java Companion (versione html) (versione pdf)
  • Materiale disponibile sul web:
    • Una presentazione di introduzione ai pattern (versione html) (versione pdf)
    • Un breve articolo di introduzione ai pattern

• mer 14/05
  Esercitazione sui generici in Java.
  • Progettino: Progettazione di una gerarchia per relazioni e grafi.

• lun 19/05
  Classificazione dei design pattern.
  Patterns creazionali.
  
  • Materiale disponibile sul web:
    • Lucidi di un altro corso:
      introduzione e classificazione dei design pattern presentati dalla GoF
      design pattern creazionali

• mer 21/05
  Pattern strutturali e comportamentali.
  • Materiale disponibile sul web:
    • Lucidi di un altro corso:
      design pattern strutturali
      design pattern comportamentali

• lun 26/05
  Presentazione del pogettino Mall
  
  • Progettino: Realizzazione del modello di un Mall utilizzando i design pattern

• mer 28/05
  NO LEZIONE

• lun 02/06
  FESTA

• mer 04/06
  Preparazione all'esame.
  Discussione a verifica dello stato di avanzamento dei progettini.

• lun 09/06
  Preparazione all'esame.
  Discussione a verifica dello stato di avanzamento dei progettini.

• mer 11/06
  NO LEZIONE

-- StefanoGuerrini - 29 Feb 2008