Programmazione Avanzata

Corso di Laurea Specialistica in Informatica

Anno Accademico 2005/06

Stefano Guerrini

guerrini at di.uniroma1.it

[ Lezioni ] [ Corso 2005-06 ] [ Pagina principale ]

• mer 01/03
  Presentazione del corso. Macchne astratte, linguaggi, compilazione e interpretazione.
  • Lucidi della lezione [MacchineAstratte]: formato pdf, 4 lucidi per pagina.

• lun 06/03
  Sintassi astratta. Cenni di semantica denotazionale.
  • Lucidi della lezione [Semantica]: formato pdf, 4 lucidi per pagina.

• mer 08/03
  Cenni di semantica denotazionale e di semantica operazionale.
  • Lucidi della lezione [Semantica]: formato pdf, 4 lucidi per pagina.

• lun 13/03
  Semantica operazionale. Prime nozioni di OCAML.
  • Lucidi della lezione [Semantica]: formato pdf, 4 lucidi per pagina.
  • Lucidi della lezione [OCAML]: formato pdf, 4 lucidi per pagina.

• mer 15/03
  OCAML.
  • Lucidi della lezione [OCAML]: formato pdf, 4 lucidi per pagina.

• lun 20/03
  OCAML * Lucidi della lezione [OCAML]: formato pdf, 4 lucidi per pagina.

• mer 22/03
  Tipi di dato * Lucidi della lezione [TipiDato]: formato pdf, 4 lucidi per pagina.

• lun 27/03
  Controllo di sequenza: espressioni e comandi. Linguaggi funzionali.
  • Lucidi della lezione [ExpCom]: formato pdf, 4 lucidi per pagina.

• mer 30/03
  Controllo di sequenza: espressioni e comandi. Linguaggi imperativi.
  • Lucidi della lezione [ExpCom]: formato pdf, 4 lucidi per pagina.

• lun 03/04
  Blocchi e ambiente locale: caso dei linguaggi funzionali.
  • Lucidi della lezione [BlocchiAmbLoc]: formato pdf, 4 lucidi per pagina.

• mer 05/04
  Blocchi e ambiente locale: caso dei linguaggi imperativi.
  • Lucidi della lezione [BlocchiAmbLoc]: formato pdf, 4 lucidi per pagina.

• mer 12/04
  Funzioni: caso dei linguaggi funzionali. Semantica denotazionale.
  • Lucidi della lezione [BlocchiAmbLoc]: formato pdf, 4 lucidi per pagina.

-- StefanoGuerrini - 24 Feb 2006