Slides del corso
Programma. Obiettivi, Materiale didattico e strumenti
Richiami di OCAML
Richiami di reticoli e punti fissi. Semantica denotazionale
Dalla semantica allo interprete
Sistemi di tipo
Interpretazione astratta
Interprete astratto sui segni
Inferenza di tipi in un linguaggio funzionale
Confronto tra interpretazione astratta e sistemi di tipo
Dalla analisi alla verifica
Combinazione di analisi e verifica
Elementi di programmazione logica
Interpretazione astratta in programmazione logica
Operatori di raffinamento 1
Operatori di raffinamento 2