Complementi di Linguaggi 1 e 2, 2003/2004
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 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.
Esami di Linguaggi 1 e 2
Potete inoltre scaricare in formato elettronico (parte dei) testi e/o soluzioni
dei compiti passati:
- testo e soluzioni del compito
del 6/7/2004.
Scusate, devo ancora completare