Complementi di Linguaggi 1 e 2, 2004/2005
pagina aggiornata il
11-05-2009
Interpretazione Astratta
Materiale di riferimento reperibile in rete:
- 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
- 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
- testo e soluzioni del compito del 08/07/2005
- testo e soluzioni del compito del 23/03/2005
- testo e soluzioni del compito del 22/06/2004
- testo e soluzioni del compito del 06/07/2004.
- testo del compito del 09/09/2004.
- testo del 2/12/2004
- esercizio di prolog del 16/12/2004
Esami di Linguaggi 2
- testo e soluzioni del compito del 08/07/2005
- testo e soluzioni del compito del 11/04/2005
- testo e soluzioni del compito del 23/03/2005
- testo e soluzioni del compito del 22/06/2004
- testo e soluzioni del compito del 06/07/2004.
- testo del compito del 09/09/2004.
Scusate, non sarà mai completo...