Linguaggi di Programmazione: Implementazione
Esercitazioni

Anno Accademico 2003-2004

Esercitatore: Floriano Zini

Avvisi

• 12/11/2003: Allo scritto, l'esercizio sull'interprete ML sara' in due parti valutate indipendentemente: (a) azione semantica e (b) estensione dell'interprete.
• 13/11/2003: Sono disponibili due esempi di esercizi di esame sull'interprete.
• 15/09/2004: Sono disponibili le soluzioni degli esercizi ML dati agli esami.
• 12/11/2004: Prossimo esame: martedi 16 novembre, ore 14:00-17:00, aula 7

Ricevimento studenti

• per email scrivendo a zini AT itc.it
• su appuntamento

Materiale di riferimento

• Introduction to Standard ML di R. Harper: [pdf] [ps.gz]
• Standard ML of New Jersey
  
  • User's Guide
• SML'97 Basis Library

Esempi di esercizi di esame

• Estensione dell'interprete con For e Repeat
  [esempi_esame.pdf] [esempi_esame.ps.gz]

Lucidi e materiale delle esercitazioni

• 02/10/2003
  
  • ML: introduzione, interazione col sistema, tipi di base e composti, identificatori, pattern matching
    [esercitazione1.pdf] [esercitazione1.ps.gz]
• 07/10/2003
  
  • ML: funzioni, funzioni per liste, funzioni higher order, funzioni anomime, polimorfismo e overloading
    [esercitazione2.pdf] [esercitazione2.ps.gz]
    
  • ML: esercizi su tipi composti, pattern matching, funzioni, funzioni su liste
    [esercizi1.txt]
    
• 14/10/2003
  
  • ML: definizioni di tipi, eccezioni
    [esercitazione3a.pdf] [esercitazione3a.ps.gz]
    
  • Interprete ML: controllo sequenza per espressioni e programmi (aggiornamento del 20 ottobre 2003)
    [esercitazione3b.pdf] [esercitazione3b.ps.gz] [interpreter_base.sml]
    
• 21/10/2003
  
  • Interprete ML: riassunto, estensione con vettori e matrici
    [esercitazione4.pdf] [esercitazione4.ps.gz] (aggiornamento del 5 novembre 2003)
    [interpreter_datatypes.sml] [esercizi2.txt]
    
• 28/10/2003
  
  • Interprete ML: estensione con slices, comandi ed espressioni
    [esercitazione5a.pdf] [esercitazione5a.ps.gz] [interpreter_slices.sml] [interpreter_cmds.sml] [interpreter_exps.sml]
    
  • ML: strutture
    [esercitazione5b.pdf] [esercitazione5b.ps.gz] [esempio_tipi_strutture.txt]
• 04/11/2003
  
  • Interprete ML: estensione con gestione della memoria
    [esercitazione6.pdf] [esercitazione6.ps.gz] (aggiornamento del 5 novembre 2003)
    [interpreter_memoria.sml]
  • Esercizi su estensioni dell'interprete ML
    [esercizi3.txt]
    Possibili soluzioni
    [interpreter_pair.sml] [interpreter_vect.sml]

Esami

• 17/11/2003 [pdf] [ps.gz]
• 29/01/2004 [pdf] [ps.gz]
• 28/06/2004 [pdf] [ps.gz]
• 13/09/2004 [pdf] [ps.gz]