Complementi di Linguaggi 1 e 2, 2004/2005

Interpretazione Astratta

Materiale di riferimento reperibile in rete:

1. Articolo di Cousot con un'esauriente illustrazione dell'interpretazione astratta: Patrick Cousot & Radhia Cousot. Abstract interpretation and application to logic programs. Journal of Logic Programming, 13(2--3):103--179, 1992
2. Alcune parti rilevanti della mia Tesi di Dottorato, capitolo 1 e sezione 3.5.1

Linguaggio Prolog

Per chi volesse esercitarsi a programmare in Prolog ho scritto alcuni esercizi (aggiornati 2005-07-13) a difficoltà (più o meno) crescente. Se volete vedere le mie soluzioni contattatemi via mail.

Linguaggio Curry

Nella Home di Curry potere trovare moltissima documentazione sul linguaggio e il link a PAKCS un'implementazione di Curry che si basa su Sicstus.

Per chi volesse esercitarsi a programmare in Curry (in realtà nel frammento comune di Curry e Haskell) ho scritto alcuni esercizi (aggiornati 2005-07-13) a difficoltà (più o meno) crescente. Se volete vedere le mie soluzioni contattatemi via mail.

Potete inoltre scaricare in formato elettronico (parte dei) testi e/o soluzioni dei compiti passati:

Esami di Linguaggi 1

1. testo e soluzioni del compito del 08/07/2005
2. testo e soluzioni del compito del 23/03/2005
3. testo e soluzioni del compito del 22/06/2004
4. testo e soluzioni del compito del 06/07/2004.
5. testo del compito del 09/09/2004.
6. testo del 2/12/2004
7. esercizio di prolog del 16/12/2004

Esami di Linguaggi 2

1. testo e soluzioni del compito del 08/07/2005
2. testo e soluzioni del compito del 11/04/2005
3. testo e soluzioni del compito del 23/03/2005
4. testo e soluzioni del compito del 22/06/2004
5. testo e soluzioni del compito del 06/07/2004.
6. testo del compito del 09/09/2004.