Introduzione all’interpretazione astratta

Responsabile didattico: Marco Comini

Durata: 16 ore

Periodo didattico: secondo semestre

Programma

  • Richiami su posets, CPO, complete lattices
  • Connessioni di Galois e definizioni equivalenti
  • Proprietà di composizione
  • Operatori di chiusura superiore e inferiore
  • Inserzioni di Galois e riduzioni di connessioni
  • Aggiunzione di astrazione e concretizzazione
  • Esempi

 

SSD: INF/01


Elenco corsi 2009/2010