• 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