Linguaggi di Programmazione (III anno) - a.a. 1997-98

Ultima modifica: 3 Aprile 1998. Commenti a Eugenio Moggi.

Docenti: Catuscia Palamidessi e Eugenio Moggi;
Corso (Aula 710, Lun-Ven 11-13): Programma, Argomenti delle lezioni
Materiale per le lezioni tenute da: Moggi, Palamidessi, Zucca (vedi il README file)
Informazioni aggiuntive per le lezioni tenute da Catuscia Palamidessi e Elena Zucca
Laboratorio E' previsto l'accesso al laboratorio per svolgere semplici esercizi di familiarizzazione con vari linguaggi.
- Introduction to Object-Oriented programming using C++
- Java (informazioni mantenute da Elena Zucca)
- Swi-Prolog reference manual
- Standard ML:
  come interagire con il sistema (informazioni minimali)
  tutorial on-line (di S. Gilmore)
  Introduzione a ML incluso moduli (di R. Harper)
  SML Basis Library (copia locale)
  Documentazione su SML/NJ versione 0.93 (la versione in SW2 e' piu' recente)
  SML/NJ main page (Bell-Labs), OCAML main page (INRIA), ML and FP archive
  eseguibili per Windows 95 o NT di NJ-SML (18Mb) e OCAML (6Mb)

Modalita' degli esami

L'esame si suddivide in una prova scritta ed una orale. La prova scritta consiste di 3 parti valutate indipendentemente (funzionale, logico, object-oriented) con semplici esercizi di difficolta' paragonabile a quella degli esami di LP degli anni precedenti. Chi ha fatto il COMPITINO sulla parte di programmazione puo' evitare domande su tale parte sia allo scritto che all'orale. E' possibile conservare il voto dello scritto (o anche di una delle 3 parti) negli appelli successivi, basta non ritentarlo (o non cosegnare quella parte).

situazione voti
esami precedenti: testi e soluzioni, esami di LP 1996-97.

Chi ha seguito o seguira' il corso di LP II anno, ma vuole dare l'esame di LP III anno ha due opzioni (VEDI ANCHE e-mail di Costa):

fare scritto ed orale di LP III anno (evitando il progetto di LP II anno), in tal caso dovra' portare il programma di LP III anno (dove sono indicate le parti a comune con il programma di LP II anno), in particolare dovra' guardarsi le note di Moggi e Introduzione a ML di Harper. (ATTENZIONE: tale opzione e' sconsigliata a chi non prevede di seguire i corsi del quarto anno nell' a.a. 1998-99)
fare progetto, scritto ed orale di LP II anno, ed il voto sara' registrato come LP III anno (ATTENZIONE: chi seguira' MFI nell' a.a. 1998-99 potrebbe avere dei problemi)