Complementi di Linguaggi 1 e 2, 2003/2004

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 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:

1. testo e soluzioni del compito del 6/7/2004.