LezioniAA0708 < Prog_avanzata

Tags: view all tags

----
----

<H1>Programmazione Avanzata</H1>

<H3>Corso di Laurea Specialistica in Informatica</H3>

<H3>Anno Accademico 2007/08</H3>

----

<H3>[[Users.StefanoGuerrini][Stefano Guerrini]]</H3>

=guerrini&nbsp;at&nbsp;di.uniroma1.it=

----
----

<nop>[ [[LezioniAA0708][Lezioni]] <nop>]
<!-- <nop>[ [[EsercitazioniAA0708][Esercitazioni]] <nop>] -->
<nop>[ [[AnnoAcc0708][Corso 2007-08]] <nop>]
<nop>[ [[Prog_avanzata.WebHome][Pagina principale]] <nop>]


   * *lun 25/02* <br />
     Presentazione del corso. Breve storia dei linguaggi di programmazione.
      * Lucidi della lezione: [[%ATTACHURL%/00.IntroLingProg.pdf][formato pdf, 2 lucidi per pagina]].

   * *mer 27/03* <br />
     Macchine astratte, linguaggi, interpreti e compilatori.
      * Lucidi della lezione: [[%ATTACHURL%/01.IntroCompInterpr.pdf][formato pdf, 2 lucidi per pagina]].

   * *lun 03/03* <br />
   * *mer 05/03* <br />
      Semantica denotazionale
      * Lucidi della lezione: [[%ATTACHURL%/02.Semantica.pdf][formato pdf, 2 lucidi per pagina]]

   * *lun 10/03* <br />
      Semantica operazionale
      * Lucidi della lezione: [[%ATTACHURL%/02.Semantica.pdf][formato pdf, 2 lucidi per pagina]]

   * *mer 12/03* <br />
     Introduzione a OCAML
      * Lucidi della lezione: [[%ATTACHURL%/03.OCAML.pdf][formato pdf, 2 lucidi per pagina]]

   * *lun 17/03* <br />
     *LEZIONE ANNULLATA*

   * *mer 19/03* <br />
     Introduzione a OCAML
      * Lucidi della lezione: [[%ATTACHURL%/03.OCAML.pdf][formato pdf, 2 lucidi per pagina]]

   * *lun 24/03*
   * *mer 26/03* <br />
     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: [[%ATTACHURL%/SemDen-OCAML.tgz][archivio compresso (tar/gzipped)]]

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

   * *mer 02/04* <br />
     Analisi sintattica: introduzione e primi esempi di uso di yacc.
      * URL: [[http://www.epaperpress.com/lexandyacc/index.html][http://www.epaperpress.com/lexandyacc/index.html]]: introduzione a lex e yacc.

   * *lun 07/04* <br />
     *LEZIONE ANNULLATA* (Causa Consiglio di Corso di Laurea)

   * *mer 09/04* <br />
     *LEZIONE ANNULLATA* (Causa Consiglio di Dipartimento)

   * *lun 14/04* <br />
     *SOSPENSIONE DELLA DIDATTICA* (Elezioni politiche)

   * *mer 16/04* <br />
      Polimorfismo <br />
      * Lucidi: estratti dal libro [[http://www.webber-labs.com/mpl/lectures/pdf-slides/08.pdf][Adam Brooks Webber. <em>Modern Programming Languages: A Practical Introduction.</em> Capitolo 3.]]<br />
      * Lettura di approfondimento: [[http://lucacardelli.name/Papers/OnUnderstanding.A4.pdf][Luca Cardelli and Peter Wegner. <em>On understanding types, data abstraction, and polymorphism.</em>]]

   * *lun 21/04*
   * *mer 23/04* <br />
      Esercitazioni sull'uso di lex e yacc.
      * Progettino: [[ProgettinoLexYacc][Sintassi concreta per il linguaggio di cui si è visto l'interprete a lezione]]

   * *lun 28/04* <br />
      Bounded parametric polymorphism in C++ e Java. <br />
      * Materiale disponibile sul web: [[http://medialab.di.unipi.it/web/AP/PA-5.ppt][lucidi di un altro corso]]

   * *mer 30/04* <br />
      Tipi e metodi generici in Java.
      * Materiale disponibile sul web:
         * [[http://java.sun.com/docs/books/tutorial/java/generics/index.html][Sun tutorial su Java Generics]]
         * articolo/tutorial di Gilad Bracha su Java Generics: [[http://java.sun.com/docs/books/tutorial/extra/generics/index.html][(versione html)]] [[http://java.sun.com/j2se/1.5/pdf/generics-tutorial.pdf][(versione pdf)]]
         * [[http://www.deitel.com/articles/java_tutorials/20050909/IntroductionToJavaGenerics.html][Lezioni di Deitel & Associates su Java Generics]]. Fanno riferimento al libro: [[http://www.deitel.com/Books/JavaProgramming/JavaHowtoProgram7e/tabid/1191/Default.aspx][Harvey & Paul Deitel & Associates Inc., <em>Java How to Program</em>]]
         * [[http://www.AngelikaLanger.com/GenericsFAQ/JavaGenericsFAQ.html][Un FAQ/tutorial su Java Generics]]

   * *lun 05/05* <br />
      Esercitazione sui generici in Java.
      * Progettino: [[ProgettinoGenerici][Progettazione di una gerarchia per relazioni e grafi.]]

   * *mer 07/05* <br />
      Esercitazione sui generici in Java.
      * Progettino: [[ProgettinoGenerici][Progettazione di una gerarchia per relazioni e grafi.]]

   * *lun 12/05* <br />
      Introduzione ai pattern.
      * Libro: [[http://hillside.net/patterns/DPBook/DPBook.html][E. Gamma, R. Helm, R. Johnson, and J. Vlissides. <em>Design Patterns. Elements of Reusable Object-Oriented Software</em>]] disponibile anche la [[http://hpe.pearsoned.it/scheda_opera.php?tab=&ID=2597][versione italiana]]. Gli autori sono anche noti come [[http://hillside.net/patterns/DPBook/GOF.html][The Gang of Four (GoF)]].
      * Libro (disponibile sul web): James W. Cooper. <em>The Design Patterns Java Companion</em> [[http://www.patterndepot.com/put/8/JavaPatterns.htm][(versione html)]] [[http://www.patterndepot.com/put/8/DesignJava.PDF][(versione pdf)]]
      * Materiale disponibile sul web:
         * Una presentazione di introduzione ai pattern [[http://www.cmcrossroads.com/bradapp/docs/patterns-nutshell.html][(versione html)]] [[http://www.cmcrossroads.com/bradapp/docs/patterns-nutshell.pdf][(versione pdf)]]
         * Un breve [[https://www6.software.ibm.com/developerworks/education/j-patterns201/j-patterns201-a4.pdf][articolo di introduzione ai pattern]]

   * *mer 14/05* <br />
      Esercitazione sui generici in Java.
      * Progettino: [[ProgettinoGenerici][Progettazione di una gerarchia per relazioni e grafi.]]

   * *lun 19/05* <br />
      Classificazione dei design pattern.<br />
      Patterns creazionali. <br />
      * Materiale disponibile sul web:
         * Lucidi di un altro corso: <br />
            [[http://www.cs.unibo.it/~solmi/teaching/labss_2006-2007/03-DesignPatterns.pdf][introduzione e classificazione dei design pattern presentati dalla GoF]]<br />
            [[http://www.cs.unibo.it/~solmi/teaching/labss_2006-2007/04-DesignPatterns_creazionali.pdf][design pattern creazionali]]


   * *mer 21/05* <br />
      Pattern strutturali e comportamentali.
      * Materiale disponibile sul web:
         * Lucidi di un altro corso: <br />
            [[http://www.cs.unibo.it/~solmi/teaching/labss_2006-2007/05-DesignPatterns_strutturali.pdf][design pattern strutturali]]<br />
            [[http://www.cs.unibo.it/~solmi/teaching/labss_2006-2007/06-DesignPatterns_comportamentali.pdf][design pattern comportamentali]]

   * *lun 26/05* <br />
      Presentazione del pogettino Mall<br />
      * Progettino: [[ProgettinoPattern][Realizzazione del modello di un Mall utilizzando i design pattern]]

   * *mer 28/05* <br />
      *NO LEZIONE*

   * *lun 02/06* <br />
      *FESTA*

   * *mer 04/06* <br />
      Preparazione all'esame.<br />
      Discussione a verifica dello stato di avanzamento dei progettini.
 
   * *lun 09/06* <br />
      Preparazione all'esame.<br />
      Discussione a verifica dello stato di avanzamento dei progettini.

   * *mer 11/06* <br />
      *NO LEZIONE*

-- Users.StefanoGuerrini - 29 Feb 2008

Attachments

Topic attachments
I	Attachment	History	Action	Size	Date	Who	Comment
pdf	00.IntroLingProg.pdf	r1	manage	67.4 K	2008-03-14 - 13:50	StefanoGuerrini	Breve storia dei linguaggi di compilazione
pdf	01.IntroCompInterpr.pdf	r1	manage	135.0 K	2008-03-14 - 13:55	StefanoGuerrini	Macchine astratte, linguaggi, interpreti e compilatori
pdf	02.Semantica.pdf	r1	manage	142.5 K	2008-03-14 - 14:00	StefanoGuerrini	Semantica denotazione e operazionale
pdf	03.OCAML.pdf	r1	manage	81.1 K	2008-03-14 - 14:03	StefanoGuerrini	Introduzione a OCAML
tgz	SemDen-OCAML.tgz	r1	manage	4.7 K	2008-04-01 - 15:50	StefanoGuerrini	Interprete basato su semantica denotazionale
ml	fix.ml	r1	manage	1.9 K	2008-04-01 - 15:51	StefanoGuerrini	Operatore di punto fisso in OCAML