Linguaggi Formali e Compilatori
Esercitazioni

Anno Accademico 2005-2006

15/01/07. ATTENZIONE!! Appello di gennaio 2007. La discussione dei progetti e l'esame di teoria si terranno il 22 gennaio 2007 alle 14:30 nell'aula 201 (padiglione IRST).
23/01/06. Nel testo del progetto la linea
type ide_pointer_3 = ^^int, ide_pointer_3 = ^ide_pointer_2;
va letta
type ide_pointer_3 = ^^int, ide_pointer_4 = ^ide_pointer_2;
Mi scuso per l'errore.
12/01/06. Come concordato nell'incontro con gli studenti dell'11/01/2006 il testo del progetto e' stato modificato ed e' disponibile qui.

Introduction to the Objective Caml Programming Language di J. Hickey: [pdf] [ps.gz]
OCaml reference manual: [pdf] [ps.gz]
The Caml language

15/09/2005 e 23/09/2005
- Richiami su OCaml: tipi base e composti, variabili, pattern matching, funzioni, polimorfismo, definizioni di nuovi tipi, eccezioni, modularizzazione
8/11/2005
- Controllo di sequenza: teoria
15/11/2005
- Controllo di sequenza: teoria (continuazione)
- Tipi di dato: teoria
17/11/2005
- Tipi di dato: teoria (continuazione)
- Controllo di sequenza: implementazione
18/11/2005
- Tipi di dato: implementazione
22/11/2005
- Controllo dei dati: sottoprogrammi, ambienti, scoping
24/11/2005
- Esercizi su estensioni dell'interprete MiLan
6/12/2005
- Controllo dei dati: scoping (continuazione), passaggio dei parametri
- Interprete: implementazione di sottoprogrammi
13/12/2005
- Interprete: implementazione di sottoprogrammi (continuazione)
- Compilazione: introduzione, generazione del codice intermedio
15/12/2005
- Compilazione: generazione del codice intermedio (continuazione)
- Esercizi su estensioni del compilatore MiLan
16/12/2005
- Compilazione: generazione del codice oggetto

Il testo e' disponibile qui.

Last modified: 23 June 2006
by Floriano Zini: zini [AT] itc.it